Activity
From 12 Apr 2023 to 11 May 2023
11 May 2023
- 08:01 CoCoA-5 Slug #1629: RingElem slow with many indets
- I have my own prototype...
- 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"...
10 May 2023
- 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...
- 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...
- 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...
08 May 2023
- 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... - 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@...
06 May 2023
- 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...
05 May 2023
- 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
- 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... - 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... - 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...
03 May 2023
- 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... - 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...
29 Apr 2023
- 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...
28 Apr 2023
- 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...
- 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)...
25 Apr 2023
- 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... - 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...
12 Apr 2023
- 22:05 CoCoA-5 Feature #1731: Verbosity level in CoCoA5
- Not sure if it is really a good idea....
I remind you that it is possible to have global variables in packages. May... - 14:50 CoCoA-5 Feature #1731 (In Progress): Verbosity level in CoCoA5
- New approach: easier to use, more similar to CoCoALib and sofisticated use of CoCoA-5 anonymous functions (@func@) ;-...
- 14:56 CoCoALib Design #1721 (Closed): Verbose messages: print level?
- 14:45 CoCoALib Bug #1729 (Closed): Bug HilbertPoly of zero-dimensional ideals
- 14:44 CoCoA-5 Bug #1734 (Closed): Fix call to HilbertPoly in test/TutHokkaido5
- Found, discussed with Elisa Palezzato & Michele Torielli, fixed.
- 14:42 CoCoA-5 Bug #1734 (Closed): Fix call to HilbertPoly in test/TutHokkaido5
- In the tutorial we actually want to compare ArrPoincarePoly with the HVector (or numerator of the simplified HilberSe...
Also available in: Atom