File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -481,15 +481,15 @@ cdef class GroebnerStrategy:
481
481
Check #37108 is fixed::
482
482
483
483
sage: E = ExteriorAlgebra(QQ, 6)
484
- .... : E.inject_variables(verbose=False)
485
- .... : gens = [-e0*e1*e2 + e0*e1*e5 - e0*e2*e3 - e0*e3*e5 + e1*e2*e3 + e1*e3*e5,
484
+ sage : E.inject_variables(verbose=False)
485
+ sage : gens = [-e0*e1*e2 + e0*e1*e5 - e0*e2*e3 - e0*e3*e5 + e1*e2*e3 + e1*e3*e5,
486
486
....: e1*e2 - e1*e5 + e2*e5,
487
487
....: e0*e2 - e0*e4 + e2*e4,
488
488
....: e3*e4 - e3*e5 + e4*e5,
489
489
....: e0*e1 - e0*e3 + e1*e3]
490
- .... : I = E.ideal(gens)
491
- .... : S = E.quo(I)
492
- .... : I.reduce(e1*e3*e4*e5)
490
+ sage : I = E.ideal(gens)
491
+ sage : S = E.quo(I)
492
+ sage : I.reduce(e1*e3*e4*e5)
493
493
0
494
494
"""
495
495
if not f:
You can’t perform that action at this time.
0 commit comments