Activity
From 10 Dec 2023 to 08 Jan 2024
04 Jan 2024
- 10:14 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...
22 Dec 2023
- 20:12 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:09 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:06 Slug #1629 (Closed): RingElem slow with many indets
- Closing after 7 months in feedback.
- 19:50 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:46 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:30 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 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:35 Bug #1766 (Closed): Emacs 29: Removal of obsolete entries
- 11:35 Bug #1766: Emacs 29: Removal of obsolete entries
- Sorry, forgot to respond here - only replied via email.
This issue is resolved now, thanks! - 11:21 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:29 Feature #823: NewPolyRing with weights -- better interface?
- [after phone discussion]
Might the name *@NewPolyRingWithWeights@* be clearer?
Anyway, we can always later change t... - 10:43 Feature #823: NewPolyRing with weights -- better interface?
- John Abbott wrote:
> An alternative would be to accept a @record@ as an argument, but this does make the input longe... - 11:27 Design #1681: Should Starting be case-insensitive?
- Should we offer a case-insensitive string comparison function?
- 11:26 Design #1681: Should Starting be case-insensitive?
- There is a small problem with some entries appearing twice:...
Also available in: Atom