CoCoA » CoCoALib

04 Jan 2024

10:23 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 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

09:49 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 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 Bug #1773 (Closed): CyclotomicFactorIndexes: gave wrong answer

I have added an exbug test.
Closing.
John Abbott

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

John Abbott

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

It is now good enough to be closed.
John Abbott

20:56 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