not using cached result

DanGrayson commented 6 years ago

Shouldn't we use the previously cached result here?

Macaulay2, version 1.11.1
with packages: ConwayPolynomials, Elimination, IntegralClosure, InverseSystems, LLLBases,
               PrimaryDecomposition, ReesAlgebra, TangentCone

i1 : R=ZZ/101[x,y]

o1 = R

o1 : PolynomialRing

i2 : gbTrace=1

o2 = 1

i3 : I=ideal vars R

o3 = ideal (x, y)

o3 : Ideal of R

i4 : gens gb I

   -- [gb]{1}(2)number of (nonminimal) gb elements = 2
   -- number of monomials                = 2
   -- 
o4 = | y x |

             1       2
o4 : Matrix R  <--- R

i6 : groebnerBasis (I,Strategy=>"F4")
-- computing mgb F4 {Reducer => null, Threads => 0, SPairGroupSize => 0, Log => , Reducer => F4}

o6 = | y x |

             1       2
o6 : Matrix R  <--- R

DanGrayson commented 6 years ago

@mikestillman - Am I right?

mikestillman commented 6 years ago

Yes, if the computation is complete.

Macaulay2 / M2

not using cached result #798