Activity
From 09 Nov 2021 to 08 Dec 2021
07 Dec 2021
-
00:11 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Bug #1639 (New): RealRoots: crashes after interrupting
- Naturally I discovered this while giving a demo to my students......
06 Dec 2021
-
20:37 CoCoA-5 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 CoCoA-5 Slug #1638 (New): MinSubsetOfGens sometimes very slow
- I have just tried @MinSubsetOfGens@, and was surprised how slow it was on a small example....
01 Dec 2021
-
14:49 CoCoALib Feature #1637 (New): Intersection of Ideals: has GBasis?
- When one computes the intersection of two ideals, are the resulting generators a GBasis?
Sometimes they are: can we ...
26 Nov 2021
-
18:48 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Slug #1629 (In Progress): RingElem slow with many indets
- Simpler test:...
-
17:10 CoCoALib Support #262: Play with GIT
- Does anyone have useful experience to help decide between Github/Gitlab/other? And also how one goes about in practice?
-
17:08 CoCoALib Support #262: Play with GIT
- Florian and Bernhard suggest putting the source on Github/Gitlab.
25 Nov 2021
-
17:13 CoCoA-5 Support #1636 (In Progress): Missing/Incomplete manual entries
- Some entries in the online manual are missing or very incomplete....
-
16:47 CoCoALib Feature #1635 (In Progress): NR for polys with coeffs in PID
- Make @NR@ work also polys with coeffs in a PID (at least in @ZZ@).
This is a stepping stone to GBasis over @ZZ@.
23 Nov 2021
-
22:06 CoCoALib Support #256 (Resolved): Improve doc about ordering/grading for poly rings
- I think the doc in @SparsePolyRing.txt@ is OK now. Do you agree, Anna?
-
17:15 CoCoA-5 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 CoCoA-5 Bug #1634: Unexpected or unhelpful error using GroebnerFanIdeals
- Here is a simpler failing example: I have just reduced the exponents...
-
20:23 CoCoA-5 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 CoCoA-5 Bug #1634 (In Progress): Unexpected or unhelpful error using GroebnerFanIdeals
- Here is the troublesome input: it throws *@ArgTooBig@*...
-
20:19 CoCoA-5 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:25 CoCoALib Feature #743: Better errors: give supplementary info about the error
- for example, this would be nice...
-
17:18 CoCoALib Feature #743: Better errors: give supplementary info about the error
- We agreed that the string for the name of the function should contain just the name of the function, and its argument...
-
17:05 CoCoALib Feature #743: Better errors: give supplementary info about the error
- Anna suggests that the error message should also indicate which args (via their indices, starting from 0 or 1?)
For ... -
17:02 CoCoA-5 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 CoCoA-5 Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
17 Nov 2021
-
12:04 CoCoALib Feature #1633: Make polynomial multiplication interruptible?
- This is weird. I reverted to the old code because I wanted to confirm that it is not interruptible.
Indeed, it took... -
11:59 CoCoALib Feature #1633: Make polynomial multiplication interruptible?
- I have just inserted a @CheckForInterrupt@ in the main loop for multiplication.
The simpler test example from commen... -
11:53 CoCoALib Feature #1633 (In Progress): Make polynomial multiplication interruptible?
- Here is a simpler test example...
-
11:50 CoCoALib Feature #1633: Make polynomial multiplication interruptible?
- The relevant source code is probably @myMul@ in @SparsePolyOps-RingElem.C@ around line 413.
16 Nov 2021
-
20:33 CoCoALib Feature #1633: Make polynomial multiplication interruptible?
- One crucial factor is how much overhead it would cost if we put a check inside some inner loop.
Also how many diff... -
20:32 CoCoALib Feature #1633 (Closed): Make polynomial multiplication interruptible?
- I tried a (daft) example during an exercise class today: when tried to square a large polynomial it was not possible ...
-
10:38 CoCoALib Bug #1281: Factor of multivariate sometimes prints ERROR
- When it happens, it happens in pairs. Run this:...
-
10:24 CoCoALib Bug #1281: Factor of multivariate sometimes prints ERROR
- I confirm I (rarely) meet this error with tough examples in our development of Comprehensive Groebner Systems.
15 Nov 2021
-
20:06 CoCoALib Slug #1394: Oddly slow GBasis computation (slow final cleanup)
- Here is another example using lex:...
12 Nov 2021
-
00:58 CoCoALib Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
- We should update the doc so that it encourages people to apply RINGHOM directly rather than using @apply@.
We should... -
00:55 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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? ... -
18:11 CoCoALib Design #1632: C++17: notes about updating
- Here is a list of things to attend to when updating to C++17
* currently Scott Meyers does not have a C++17 book, so... -
18:09 CoCoALib Design #1632 (New): C++17: notes about updating
- This issue is for gathering notes about updating to C++17 (from C++14).
-
11:44 CoCoALib Design #1617 (Closed): UnivariateIndetIndex: exact semantics
-
11:41 CoCoA-5 Support #1534: Install CoCoA-5 on MacOS-10.15+
- Check if this is still a problem!
What does Robbiano do?
-
11:34 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Done for the CoCoA-5 menu.
-
11:25 CoCoA-5 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 CoCoA-5 Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?
- Website seems ok now.
Closing.
-
10:45 CoCoA-5 Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
-
10:43 CoCoALib Support #1555: Software licence
- We need to decide what the restrictive message should say.
Ideally it should be just 1 or 2 lines long, and placed v... -
10:28 CoCoALib Support #1555: Software licence
- We need to consider also the copyright notices in the sources for CoCoA-5.
Should the copyright notice for CoCoA-5 f... -
10:23 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Bug #1610 (Closed): IsInRadical: some more little bugs
- No new bugs have surfaced. Closing this issue.
10 Nov 2021
-
20:12 CoCoALib Design #1630 (New): Signal handler not portable?
- Bruns reported by email that CoCoALib does not compile on an @"msys"@ platform because @sigaction@ is absent.
Inve... -
20:10 CoCoALib Feature #1488 (Feedback): BuiltIn Interreduce-Function
- Is there documentation now?
-
20:08 CoCoALib Design #1617: UnivariateIndetIndex: exact semantics
- I have updated the documentation to the current behaviour.
-
20:02 CoCoALib Design #1617 (Feedback): UnivariateIndetIndex: exact semantics
-
19:49 CoCoA-5 Design #1496 (In Progress): Use "special" names for variables inside tests
- I have decided to "test" the idea of putting a single underscore at the start of names.
I have just modified @bug-... -
19:41 CoCoA-5 Bug #1294 (Feedback): CoCoA-5 tests may fail even if executed correctly
- I made the change about a year ago (according to redmine), and no complaints have surfaced.
So advancing to *feedbac... -
19:34 CoCoA-5 Bug #1604: SqFreeFactor crashes over non-perfect field
- No real chance of finding time to resolve this in the foreseeable future :-(
Probably not that hard, but it will sur... -
19:32 CoCoA-5 Bug #1610: IsInRadical: some more little bugs
- Anna: can you close this issue?
-
18:57 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing
- We probably need to change the fn @CoCoAManFileName@ (around line 950 in @OnlineHelp.C@).
The return type should be ... -
18:43 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing
- There is a stackoverflow thread about getting @dirname@: https://stackoverflow.com/questions/3071665/getting-a-direct...
-
18:29 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing
- It would be nice (& cleaner) if we could get rid of @packages/../@.
I think this should be possible.
-
18:27 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing
- I have modified the error message slightly. Now it gives:...
-
18:17 CoCoA-5 Bug #1412 (Closed): Emacs UI: font size
-
18:12 CoCoA-5 Bug #1524: wrong SystemCommand exit value
- My current opinion is to return the exit code, even if this is not well defined (in a portable way).
This would allo... -
18:07 CoCoA-5 Bug #1613 (Closed): CRASH with RingHom from FrF
-
18:04 CoCoA-5 Bug #1614 (Closed): SourceRegion gives misleading error mesg
Also available in: Atom