Activity

From 18 Apr 2023 to 17 May 2023

09:26 CoCoA-5 Slug #1629: RingElem slow with many indets: I have just checked out Anna's update, and confirm that the first example in comment 8 is now fast. Thanks to Anna.
John Abbott
09:24 CoCoALib Slug #967: Improve saturate: My suggestion above is not quite right.
The poly which I am saturating with respect to must be reduced modulo @I@.
... John Abbott

20:36 CoCoA-5 Slug #1629: RingElem slow with many indets: I must do a check-out, or Anna must do a check-in? The example from comment 8 is still slow on my computer John Abbott
20:32 CoCoALib Slug #967: Improve saturate: Let @P@ be a poly ring with indets @x[1]..x[n]@ and @y[1]..y[m]@.
Suppose the gens of ideal @I@ involve only @x@ ind... John Abbott

16:24 CoCoALib Bug #1740: MinGens gives non minimal gens *if some deg=0*: smaller... Anna Maria Bigatti
08:03 CoCoALib Feature #1654: New function IsInSymbols: See function... Anna Maria Bigatti
07:24 CoCoALib Feature #1654: New function IsInSymbols: John Abbott wrote:
> Anna, could you please describe more explicitly what you are proposing?
> I am not sure I unde... Anna Maria Bigatti
07:59 CoCoA-5 Slug #1629: RingElem slow with many indets: Thinking all this again, I noticed that we are now using the map just to detect if the symbol found is in the symbols... Anna Maria Bigatti
07:52 CoCoA-5 Slug #1629: RingElem slow with many indets: I checked my personal code.
My guess at the old history is that I made a @map<symbol, long>@ (long instead of RingEl... Anna Maria Bigatti

08:01 CoCoA-5 Slug #1629: RingElem slow with many indets: I have my own prototype... Anna Maria Bigatti
07:34 CoCoA-5 Feature #1731: Verbosity level in CoCoA5: John Abbott wrote:
> I think it might be helpful to put 1 or 2 spaces at the start of each line printed as "verbose"... Anna Maria Bigatti

20:53 CoCoA-5 Feature #1731: Verbosity level in CoCoA5: Anna pointed out verbally that my idea in comment 5 (above) cannot easily be made to work, because the "depth counter... John Abbott
20:49 CoCoA-5 Support #1741: Documentation/Manual for HilbertFn: We could just change the second example so that it uses all the indets in the chosen ring; then I'd get an error (sin... John Abbott
09:29 CoCoA-5 Support #1741 (In Progress): Documentation/Manual for HilbertFn: The example I tried is correct (as reported on the manual page).
I copied the second example *without noticing* that... John Abbott

20:47 CoCoA-5 Support #1741 (In Progress): Documentation/Manual for HilbertFn: The manual for *@HilbertFn@* seems to need improvement.
_e.g._ @HilbertFn@ appears to work for modules too.
The e... John Abbott
20:44 CoCoA-5 Support #1079 (In Progress): CoCoAManual: AffHilbertFn accepts also ideal (correct?): The manual now says *@(Poly or Quotient)Ring@*.
Is this sufficient/correct? From looking at the impl in @hp.cpkg5@... John Abbott

08:54 CoCoALib Bug #1740: MinGens gives non minimal gens *if some deg=0*: I wonder if it could be made to work by assuming that all indets with weight 0 actually have epsilon (an infinitesima... John Abbott

11:51 CoCoALib Bug #1740: MinGens gives non minimal gens *if some deg=0*: This example was generated by simplifying the original big example found by L.Robbiano Anna Maria Bigatti
11:49 CoCoALib Bug #1740 (Feedback): MinGens gives non minimal gens *if some deg=0*: In this example MinGens gives a result which is not minimal.
Can the algorithm MinGens work if the input is homogene... Anna Maria Bigatti
09:31 CoCoALib Slug #1739 (Closed): IsHomog for ideals: the function IsHomog for ideals might take a long time computing a GBasis, but if
the check @IsHomog(gens(I))@ gives... Anna Maria Bigatti
08:47 CoCoALib Design #1738: Suggestion about Graded polynomial rings: Sounds interesting: this is surely handy for "human handling".
Maybe the homogenizing ring could be created the firs... Anna Maria Bigatti

22:32 CoCoALib Design #1738: Suggestion about Graded polynomial rings: In CoCoA a poly ring has default term-order @degrevlex@ which we regard as 1-graded.
My suggestion means that by def... John Abbott
22:29 CoCoALib Design #1738 (New): Suggestion about Graded polynomial rings: If the user creates a graded polynomial ring, maybe CoCoA could actually create 2 polynomial rings:
* the one reques... John Abbott

12:50 CoCoALib Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading: (1) With a ZZ^1-grading I think it is enough to compute a "wdeg-rev" ReducedGBasis then "saturate" each element indep... John Abbott

16:01 CoCoALib Design #1736: Clean TmpGOperations, and remove Tmp prefix: I had to look in to *@TmpGoperations.C@* to find out about how CoCoALib implements ideal homogenization (and saturati... John Abbott
15:58 CoCoALib Design #1736 (New): Clean TmpGOperations, and remove Tmp prefix: How stable/clean is the code in *@TmpGOperations@*?
It forms a fairly central part of CoCoALib (and thus of CoCoA-5)... John Abbott

21:31 CoCoALib Design #1735: PushFront/PushBack without checks?: The suggestion arose from some new code for computing cyclotomic polynomials.
The coeff vec is computed quite quickl... John Abbott
21:29 CoCoALib Design #1735 (Rejected): PushFront/PushBack without checks?: Currently @PushFront@ and @PushBack@ check their args (correct coeffring, correct ppmonoid).
Should there also be un... John Abbott

Also available in: Atom

CoCoA