John Abbott's activity
From 06 Dec 2023 to 04 Jan 2024
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... - 10:23 CoCoALib 0.20 hour (Feature #1763 (Rejected): implement ideal(R) for zero ideal, with no generators?)
- Readability
- 10:18 CoCoALib 0.20 hour (Design #1767 (In Progress): Finalize design for ideals in CoCoALib)
- Exception cleanliness
- 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...
- 10:14 CoCoA-5 0.20 hour (Design #1041 (In Progress): Separators for elements of a list)
- Re-awaken
- 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... - 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 ...
- 09:49 CoCoALib 0.20 hour (Design #908 (Closed): Sum of ideals: what are the generators of (x) + (0)?)
- Current thoughts
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.
- 21:31 CoCoALib 0.20 hour (Design #1771 (Closed): Hadamard bound: field names)
- Updated
- 21:30 CoCoALib Bug #1773 (Closed): CyclotomicFactorIndexes: gave wrong answer
- I have added an exbug test.
Closing.
- 21:30 CoCoALib 0.20 hour (Bug #1773 (Closed): CyclotomicFactorIndexes: gave wrong answer)
- Added test
- 20:59 CoCoALib 0.10 hour (Bug #1758 (Closed): Graeffe "sign bug")
- 20:59 CoCoALib Bug #1758 (Closed): Graeffe "sign bug"
- 20:57 CoCoALib Slug #1769 (Closed): FixedDivisor is sometimes surprisingly slow
- It is now good enough to be closed.
- 20:57 CoCoALib 0.15 hour (Slug #1769 (Closed): FixedDivisor is sometimes surprisingly slow)
- Good enough
- 20:56 CoCoALib 0.50 hour (Feature #1755 (Closed): CheckForInterrupt: give more info?)
- Made example
- 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.
- 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... - 20:12 CoCoA-5 0.10 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)
- Closing
- 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... - 20:09 CoCoA-5 0.20 hour (Bug #1746 (Feedback): ManExamples target: need to reset VerbosityLevel)
- Mostly OK
- 20:06 CoCoA-5 Slug #1629 (Closed): RingElem slow with many indets
- Closing after 7 months in feedback.
- 20:06 CoCoA-5 0.25 hour (Slug #1629 (Closed): RingElem slow with many indets)
- Closing
- 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...
- 19:50 CoCoA-5 0.20 hour (Bug #1745 (Closed): Printing of Hilbert series via indent)
- Closing
- 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... - 19:46 CoCoA-5 0.25 hour (Feature #1718 (Closed): FactorINT with time-out)
- Disabled time-out
- 19:30 CoCoA-5 0.20 hour (Design #1075 (Closed): LaTeX package: power-product printing)
- KISS
- 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... - 19:21 CoCoA-5 0.15 hour (Feature #1112 (Closed): New function: IsEmpty)
- Closing
- 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 @... - 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... - 11:29 CoCoA-5 0.10 hour (Feature #823 (Closed): NewPolyRing with weights -- better interface?)
- Name?
- 11:27 CoCoA-5 0.10 hour (Design #1681 (In Progress): Should Starting be case-insensitive?)
- Case-insensitive string comparison?
- 11:27 CoCoA-5 Design #1681: Should Starting be case-insensitive?
- Should we offer a case-insensitive string comparison function?
- 11:26 CoCoA-5 0.20 hour (Design #1681 (In Progress): Should Starting be case-insensitive?)
- Minor buglet
- 11:26 CoCoA-5 Design #1681: Should Starting be case-insensitive?
- There is a small problem with some entries appearing twice:...
- 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.
- 11:21 CoCoA-5 0.10 hour (Bug #1766 (Closed): Emacs 29: Removal of obsolete entries)
- Ask Nico
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 ... - 21:26 CoCoALib 0.50 hour (Feature #379 (Closed): Iter for subsets/tuples)
- New ctor
- 20:42 CoCoALib 5.00 hours (Feature #379 (Closed): Iter for subsets/tuples)
- Partly done
- 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... - 20:43 CoCoALib 0.10 hour (Design #305 (In Progress): FreeModule: unique copy?)
- Status?
- 20:43 CoCoALib Design #305: FreeModule: unique copy?
- *ANNA* What is the status of this?
Feasible to complete before 0.99850?
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.
- 14:02 CoCoALib 0.75 hour (Bug #1773 (Closed): CyclotomicFactorIndexes: gave wrong answer)
- Fixed
- 13:45 CoCoALib Bug #1773 (Closed): CyclotomicFactorIndexes: gave wrong answer
- I got a wrong answer from @CyclotomicFactorIndexes@; it missed the index 6...
- 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... - 13:43 CoCoALib 2.00 hours (Feature #1770 (Closed): Evaluate polynomial function/class)
- Separated from cyclotomic code
Also available in: Atom