Feature #1743
Implement Truncated GBases for homogeneous input
Description
Truncated GBases can be quite useful.
Find a way to implement them without duplicating to much code.
Ideally we should make a GBMill/Framework (separate issue).
Related issues
History
#1
Updated by Anna Maria Bigatti about 1 year ago
- Related to Design #1744: Implement GBMill (aka Groebner Framework) added
#2
Updated by Anna Maria Bigatti about 1 year ago
- Related to Feature #1742: MinGens could be faster added
#3
Updated by Anna Maria Bigatti about 1 month ago
- Status changed from New to In Progress
One crucial starting point is making a proper constructor for GRingInfo.
Currently the constructor has many arguments, some of which "contradicting": e.g. if the input is homogenous, there is no point in having the IsSatAlg flag.
#4
Updated by Anna Maria Bigatti about 1 month ago
- % Done changed from 0 to 90
Implemented.
Meanwhile I made a few tiny changes in the direction of the Framework/Mill.
Tested, seems fine.
Now I check it in.
#5
Updated by Anna Maria Bigatti about 1 month ago
MinGens now truncates to the max degree of the generators.
Can be considerably faster than before, of course.
#6
Updated by Anna Maria Bigatti about 1 month ago
There was a bug in GBasisTrunc, now fixed.
These functions are in CoCoA-5. Port them to CoCoALib:
+ MinSubsetOfGens now uses GBasisTrunc.
+ New function IsContainedTrunc(I,J)
which uses GBasisTrunc
(if not(HasGBasis(J))
).
Which other functions?
+ I == J
should use IsContainedTrunc
What else?
#7
Updated by Anna Maria Bigatti about 1 month ago
- Related to Bug #1740: MinGens gives non minimal gens *if some deg=0* added
#8
Updated by Anna Maria Bigatti about 1 month ago
- Related to Feature #1819: New functions in CoCoALib using GBasisTrunc: MinSubsetOfGens, IsContainedTrunc, .. added
#9
Updated by John Abbott about 1 month ago
Is it worth putting the ex-bug (mentioned in comment 6 above) as a genuine exbug test?
#10
Updated by Anna Maria Bigatti about 1 month ago
John Abbott wrote:
Is it worth putting the ex-bug (mentioned in comment 6 above) as a genuine exbug test?
hmmm, it was a pretty big example. I'll think of a shorter version (along the lines #1740-12)