Activity
From 03 May 2023 to 01 Jun 2023
25 May 2023
- 14:30 Design #1744: Implement GBMill (aka Groebner Framework)
- Currently in CoCoA all GB-related computations are done in this way:
# prepare an ideal/ideal-like submodule in a s... - 14:18 Design #1744: Implement GBMill (aka Groebner Framework)
- John Abbott wrote:
> A possible advantage of using "funny" indet names is that it is then clear that the value does ... - 11:41 Design #1744: Implement GBMill (aka Groebner Framework)
- John Abbott wrote:
> A possible advantage of using "funny" indet names is that it is then clear that the value does ... - 11:31 Design #1744: Implement GBMill (aka Groebner Framework)
- As a guideline: in CoCoA-4 there was the Groebner Framework:...
23 May 2023
- 19:09 Design #1744: Implement GBMill (aka Groebner Framework)
- A possible advantage of using "funny" indet names is that it is then clear that the value does not belong to the orig...
- 16:58 Design #1744 (In Progress): Implement GBMill (aka Groebner Framework)
- The computation of a GBasis is the core computation of many others (colon, saturation, homogenization, ...).
Such GB...
19 May 2023
- 22:05 Design #1744: Implement GBMill (aka Groebner Framework)
- I would also like to be able to perform a GB computation in chunks determined by a time-out. It may suffice to have ...
- 22:03 Design #1744: Implement GBMill (aka Groebner Framework)
- There should probably be a "graded" mode, and then the possibility to know whether the partial/truncated basis is com...
- 15:47 Design #1744 (In Progress): Implement GBMill (aka Groebner Framework)
- Investigate and design about converting current "Buchberger"'s code into a GBMill, i.e. a class containing partial co...
- 15:42 Feature #1743 (In Progress): Implement Truncated GBases for homogeneous input
- Truncated GBases can be quite useful.
Find a way to implement them without duplicating to much code.
Ideally we sho...
18 May 2023
- 13:44 Feature #1742 (Resolved): MinGens could be faster
- When asking for MinGens with homogeneous input, we do not need to compute the whole GBasis, not even to make pairs wh...
- 12:53 Bug #1740: MinGens gives non minimal gens *if some deg=0*
- New smallest example: I doubt I can beat this ;-)...
16 May 2023
- 09:24 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@.
...
15 May 2023
- 20:32 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...
12 May 2023
- 16:24 Bug #1740: MinGens gives non minimal gens *if some deg=0*
- smaller...
- 08:03 Feature #1654: New function IsInSymbols
- See function...
- 07:24 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...
06 May 2023
- 08:54 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 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 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 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 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 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 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...
Also available in: Atom