summaryrefslogtreecommitdiff
path: root/examples/sandpit-poly.hs
diff options
context:
space:
mode:
Diffstat (limited to 'examples/sandpit-poly.hs')
-rw-r--r--examples/sandpit-poly.hs12
1 files changed, 8 insertions, 4 deletions
diff --git a/examples/sandpit-poly.hs b/examples/sandpit-poly.hs
index 6e81522..4ad940e 100644
--- a/examples/sandpit-poly.hs
+++ b/examples/sandpit-poly.hs
@@ -54,9 +54,13 @@ findRoot f
| isZero f -> Just zero
| otherwise -> Nothing
+sPolLex :: OrderedPolynomial Rational Lex 2
+sPolLex =
+ let [x,y] = vars
+ in sPolynomial (x ^3 * y ^2 + x ^2 * y ^3) (3 * x ^4 * y + y ^2)
-
-
-
-
+sPolGrevlex :: OrderedPolynomial Rational Grevlex 2
+sPolGrevlex =
+ let [x,y] = vars
+ in sPolynomial (x ^3 * y ^2 + x ^2 * y ^3) (3 * x ^4 * y + y ^2)