summaryrefslogtreecommitdiff
path: root/test_inputs
ModeNameSize
-rw-r--r--affine.polylib172logplain
-rw-r--r--affine2.polylib75logplain
-rw-r--r--affine3.polylib44logplain
-rw-r--r--application.omega64logplain
-rw-r--r--application2.omega106logplain
-rw-r--r--basicLinear.pwqp68logplain
-rw-r--r--basicLinear2.pwqp73logplain
-rw-r--r--basicTest.pwqp62logplain
-rw-r--r--basicTestParameterPosNeg.pwqp63logplain
-rw-r--r--boulet.pip110logplain
-rw-r--r--brisebarre.pip1025logplain
-rw-r--r--cg1.pip215logplain
d---------codegen2200logplain
-rw-r--r--convex0.polylib54logplain
-rw-r--r--convex1.polylib249logplain
-rw-r--r--convex10.polylib146logplain
-rw-r--r--convex11.polylib97logplain
-rw-r--r--convex12.polylib161logplain
-rw-r--r--convex13.polylib266logplain
-rw-r--r--convex14.polylib89logplain
-rw-r--r--convex15.polylib2608logplain
-rw-r--r--convex2.polylib438logplain
-rw-r--r--convex3.polylib60logplain
-rw-r--r--convex4.polylib50logplain
-rw-r--r--convex5.polylib80logplain
-rw-r--r--convex6.polylib206logplain
-rw-r--r--convex7.polylib50logplain
-rw-r--r--convex8.polylib394logplain
-rw-r--r--convex9.polylib94logplain
-rw-r--r--devos.pwqp111logplain
-rw-r--r--equality1.pwqp70logplain
-rw-r--r--equality2.pwqp61logplain
-rw-r--r--equality3.pwqp77logplain
-rw-r--r--equality4.pwqp89logplain
-rw-r--r--equality5.pwqp109logplain
-rw-r--r--esced.pip616logplain
-rw-r--r--ex.pip91logplain
-rw-r--r--ex2.pip69logplain
-rw-r--r--faddeev.pwqp163logplain
-rw-r--r--fimmel.pip110logplain
-rw-r--r--gist1.polylib109logplain
-rw-r--r--linearExample.pwqp139logplain
-rw-r--r--max.pip69logplain
-rw-r--r--neg.pwqp76logplain
-rw-r--r--negative.pip89logplain
-rw-r--r--philippe.pwqp80logplain
-rw-r--r--philippe3vars.pwqp108logplain
-rw-r--r--philippe3vars3pars.pwqp145logplain
-rw-r--r--philippeNeg.pwqp81logplain
-rw-r--r--philippePolynomialCoeff.pwqp108logplain
-rw-r--r--philippePolynomialCoeff1P.pwqp94logplain
-rw-r--r--product.pwqp125logplain
-rw-r--r--seghir-vd.pip200logplain
-rw-r--r--set.omega36logplain
-rw-r--r--small.pip57logplain
-rw-r--r--sor1d.pip398logplain
-rw-r--r--split.pwqp53logplain
-rw-r--r--square.pip69logplain
-rw-r--r--sven.pip29logplain
-rw-r--r--test3Deg3Var.pwqp62logplain
-rw-r--r--tobi.pip239logplain
-rw-r--r--toplas.pwqp225logplain
-rw-r--r--unexpanded.pwqp91logplain