Activity
From 11 Nov 2021 to 10 Dec 2021
10 Dec 2021
- 15:54 Bug #1640 (Feedback): MinSubsetOfGens does not find min subset
- 15:53 Bug #1640: MinSubsetOfGens does not find min subset
- During skype meeting, we implemented an improvement (discarding longest polynomial first). Now the given example is ...
09 Dec 2021
- 10:27 Bug #1640: MinSubsetOfGens does not find min subset
- John Abbott wrote:
> I have now re-read the manual, and understood what it was trying to say.
> Maybe re-write the ...
07 Dec 2021
- 00:11 Bug #1640: MinSubsetOfGens does not find min subset
- I have now re-read the manual, and understood what it was trying to say.
Maybe re-write the manual entry to make it ... - 00:09 Bug #1640: MinSubsetOfGens does not find min subset
- I had wanted to show @MinSubsetOfGens@ to my students, but maybe it is better not to do so.
The code is weird; I a... - 00:08 Bug #1640 (Closed): MinSubsetOfGens does not find min subset
- Not sure what @MinSubsetOfGens@ does, but it does not find a min card subset of the gens which generate the same idea...
- 20:26 Bug #1639: RealRoots: crashes after interrupting
- I still get a crash with @product([x-k | k in 0..600])@ and interrupting after about 20s.
Trying with 500 instead of... - 17:49 Bug #1639 (New): RealRoots: crashes after interrupting
- Naturally I discovered this while giving a demo to my students......
06 Dec 2021
- 20:37 Slug #1638: MinSubsetOfGens sometimes very slow
- There are only 256 subsets to try; and some can be quickly eliminated.
I saw the source, and understand that it is n... - 20:35 Slug #1638 (New): MinSubsetOfGens sometimes very slow
- I have just tried @MinSubsetOfGens@, and was surprised how slow it was on a small example....
26 Nov 2021
- 18:48 Bug #1104: Eigenvectors: inconsistent return type
- Here is an observation about the given example:
* in the case that the eigenvalue is rational (_i.e._ in the field),... - 18:44 Slug #1629: RingElem slow with many indets
- Anna implemented a quick fix: it was much faster, but would also sometimes give a wrong answer (we understood why).
... - 15:29 Slug #1629: RingElem slow with many indets
- After a common investigation via skype, we noticed that @ReadExpr@ (called by RingElem) creates @map<symbol, RingElem...
- 15:03 Slug #1629 (In Progress): RingElem slow with many indets
- Simpler test:...
25 Nov 2021
- 17:13 Support #1636 (In Progress): Missing/Incomplete manual entries
- Some entries in the online manual are missing or very incomplete....
23 Nov 2021
- 17:15 Bug #1634: Unexpected or unhelpful error using GroebnerFanIdeals
- The problem is that the ordering matrix has some big entry (after being converted into a matrix with positive entries...
22 Nov 2021
- 20:29 Bug #1634: Unexpected or unhelpful error using GroebnerFanIdeals
- Here is a simpler failing example: I have just reduced the exponents...
- 20:23 Bug #1634: Unexpected or unhelpful error using GroebnerFanIdeals
- I find the error quite surprising; at least the particular error that was thrown.
I had half expected there to be so... - 20:21 Bug #1634 (In Progress): Unexpected or unhelpful error using GroebnerFanIdeals
- Here is the troublesome input: it throws *@ArgTooBig@*...
- 20:19 Design #984: GroebnerFanIdeals: order matrices sometimes have "large" entries
- It seems that the first two rows are "almost parallel" -- why should that be?
Anyway, it should be easy to reduce th...
19 Nov 2021
- 17:02 Bug #1622: BuiltinOneLiners -- less precise location in error messages
- I believe that the error must be clear enough in CoCoALib so that there is no need to intercept (all??) situations li...
- 15:32 Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
12 Nov 2021
- 00:55 Design #1631: Use filesystem::path instead of string (packageDir, CoCoAManFileName)
- The global @packageDir@ should probably also be of type @boost::filesystem::path@.
Currently it is @std::string@ a... - 10:25 Design #1631: Use filesystem::path instead of string (packageDir, CoCoAManFileName)
- It seems that @filesystem::path@ was introduced in C++17.
Anna asks whether we should start compiling with standard ... - 10:21 Design #1631 (New): Use filesystem::path instead of string (packageDir, CoCoAManFileName)
- In some files we use @std::string@ to represent paths to files.
Replace these with values of type @filesystem::path@... - 00:52 Bug #1104: Eigenvectors: inconsistent return type
- Which type of answer do we prefer? LIST or MAT?
If we prefer MAT, are the eigenvectors the rows or the columns? ... - 11:41 Support #1534: Install CoCoA-5 on MacOS-10.15+
- Check if this is still a problem!
What does Robbiano do?
- 11:34 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- I have just tested what happens if there is some unsent input in the CoCoA-5, and it seems to discard the unsent inpu...
- 11:32 Feature #1526 (In Progress): EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Might it make sense to bind also @C-c h@ and perhaps @C-c ?@ or even @C-c C-?@
Just some suggestions.... maybe t... - 11:30 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Done for the CoCoA-5 menu.
- 11:25 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- it is probably easy to add it to the cocoa5-comint menu.
What about the keybinding?
- 11:14 Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?
- Website seems ok now.
Closing.
- 10:45 Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
- 10:23 Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing
- No longer crashes. So that's good.
Now we just need to clean up the path, but that's in a new issue #1631 - 10:06 Design #1496: Use "special" names for variables inside tests
- Anna is reasonably convinced by the idea. She made some alternative proposals:
* use all capital letters for names ... - 09:48 Bug #1610 (Closed): IsInRadical: some more little bugs
- No new bugs have surfaced. Closing this issue.
Also available in: Atom