Project

General

Profile

Activity

From 13 Nov 2021 to 12 Dec 2021

10 Dec 2021

15:54 Bug #1640 (Feedback): MinSubsetOfGens does not find min subset
Anna Maria Bigatti
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 ... Anna Maria Bigatti

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 ...
Anna Maria Bigatti

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 ...
John Abbott
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...
John Abbott
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... John Abbott
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...
John Abbott
17:49 Bug #1639 (New): RealRoots: crashes after interrupting
Naturally I discovered this while giving a demo to my students...... John Abbott

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...
John Abbott
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.... John Abbott

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),...
John Abbott
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).
...
John Abbott
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... Anna Maria Bigatti
15:03 Slug #1629 (In Progress): RingElem slow with many indets
Simpler test:... John Abbott

25 Nov 2021

17:13 Support #1636 (In Progress): Missing/Incomplete manual entries
Some entries in the online manual are missing or very incomplete.... John Abbott

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... Anna Maria Bigatti

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... John Abbott
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...
John Abbott
20:21 Bug #1634 (In Progress): Unexpected or unhelpful error using GroebnerFanIdeals
Here is the troublesome input: it throws *@ArgTooBig@*... John Abbott
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...
John Abbott

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... Anna Maria Bigatti
15:32 Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
Anna Maria Bigatti

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...
John Abbott
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? ...
John Abbott
 

Also available in: Atom