CoCoA Project

04 Jan 2024

10:23 CoCoALib Feature #1763: implement ideal(R) for zero ideal, with no generators?

I still think that @ideal(P)@ looks odd, and is less immediate to understand than @ideal(P,EmptyListOfRingElem)@.
Or... John Abbott

10:18 CoCoALib Design #1767: Finalize design for ideals in CoCoALib

Also for _exception cleanliness_, an operation such as @I += J@ would almost certainly have to compute a temporary id... John Abbott

10:14 CoCoA-5 Design #1041 (In Progress): Separators for elements of a list

I still agree with my comments in note 3 above.
For matrices, there are really 2 separators: between elements in a r... John Abbott

09:49 CoCoALib Design #908: Sum of ideals: what are the generators of (x) + (0)?

Currently I think we *should not* require that @gens(I+J) = concat(gens(I),gens(J))@. Other ideal operations do not ... John Abbott

22 Dec 2023

21:32 CoCoALib Design #1771 (Closed): Hadamard bound: field names

I have updated the doc. The new field names are *@myRowBoundSq@* and *@myColBoundSq@*.
Closing.
John Abbott

21:30 CoCoALib Bug #1773 (Closed): CyclotomicFactorIndexes: gave wrong answer

I have added an exbug test.
Closing.
John Abbott

20:59 CoCoALib Bug #1758 (Closed): Graeffe "sign bug"

John Abbott

20:57 CoCoALib Slug #1769 (Closed): FixedDivisor is sometimes surprisingly slow

It is now good enough to be closed.
John Abbott

20:56 CoCoALib Feature #1755 (Closed): CheckForInterrupt: give more info?

I have made a new example *@ex-interupt3.C@* which illustrates the idea from comment 1.
John Abbott

20:12 CoCoA-5 Slug #948 (Closed): radical is slow (compared to singular) on these examples

The current state is good enough; it necessary, we could improve it at some future point.
Good enough to close (afte... John Abbott

20:09 CoCoA-5 Bug #1746: ManExamples target: need to reset VerbosityLevel

The original problem seems to be resolved now.
I did notice that the file @ManExamples-out@ sometimes contains the c... John Abbott

20:06 CoCoA-5 Slug #1629 (Closed): RingElem slow with many indets

Closing after 7 months in feedback. John Abbott

19:50 CoCoA-5 Bug #1745 (Closed): Printing of Hilbert series via indent

The current situation is not "perfect" but probably good enough (until we encounter a real situation where a better s... John Abbott

19:46 CoCoA-5 Feature #1718 (Closed): FactorINT with time-out

I have decided to disable *@FactorINT_timeout@* because
* @FactorINT@ now auto times-out after about 20s (since it i... John Abbott

19:30 CoCoA-5 Design #1075 (Closed): LaTeX package: power-product printing

It seems that current impl has opted for KISS with long names preceded by a backslash.
This seems to be a good compr... John Abbott

19:21 CoCoA-5 Feature #1112 (Closed): New function: IsEmpty

The manual entry looks OK to me; what do you think, Anna?
Each user can decide whether they prefer @IsEmpty(L)@ or @... John Abbott

11:29 CoCoA-5 Feature #823: NewPolyRing with weights -- better interface?

[after phone discussion]
Might the name *@NewPolyRingWithWeights@* be clearer?
Anyway, we can always later change t... John Abbott

11:27 CoCoA-5 Design #1681: Should Starting be case-insensitive?

Should we offer a case-insensitive string comparison function?
John Abbott

11:26 CoCoA-5 Design #1681: Should Starting be case-insensitive?

There is a small problem with some entries appearing twice:... John Abbott

11:21 CoCoA-5 Bug #1766: Emacs 29: Removal of obsolete entries

I'll try asking Nico if the problem is resolved now. If so, we can close this issue.
John Abbott

10 Dec 2023

21:26 CoCoALib Feature #379: Iter for subsets/tuples

I have now added a new ctor *@SubsetIter(n,k)@* which iterates over all subsets of cardinality @k@.
Still do not ... John Abbott

20:42 CoCoALib Feature #379 (In Progress): Iter for subsets/tuples

I did this some time ago: it is in *@combinatorics.H@*.
I think there should be a version which iterates only over s... John Abbott

20:43 CoCoALib Design #305: FreeModule: unique copy?

*ANNA* What is the status of this?
Feasible to complete before 0.99850?
John Abbott

09 Dec 2023

14:02 CoCoALib Bug #1773 (Resolved): CyclotomicFactorIndexes: gave wrong answer

I think I have fixed it now. I'd better add a test.
John Abbott

13:45 CoCoALib Bug #1773 (Closed): CyclotomicFactorIndexes: gave wrong answer

I got a wrong answer from @CyclotomicFactorIndexes@; it missed the index 6... John Abbott

13:43 CoCoALib Feature #1770 (Resolved): Evaluate polynomial function/class

I have separated the evaluation code from the cyclotomic code, and put it in a new file.
Must still document the new... John Abbott