John Abbott's activity
From 17 Oct 2021 to 15 Nov 2021
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: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: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 ...
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
08 Nov 2021
- 16:43 CoCoA-5 Bug #1356: CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
- I have reviewed the header files and checked them in.
We need to review also the copyright notices: I have added A... - 12:39 CoCoA-5 Slug #1629 (Closed): RingElem slow with many indets
- Bernhard Andraschko reports the following (via email):...
- 11:29 CoCoA-5 Bug #1104 (In Progress): Eigenvectors: inconsistent return type
- Get started!
05 Nov 2021
- 23:07 CoCoA-5 Bug #1356 (Resolved): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
- I have changed all the files.
The only slightly strange one is @C5.H@ where the whole file is inside a @#ifdef@ bloc... - 16:47 CoCoA-5 Bug #1356: CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
- This is a reasonable proposal. Let's do it!
Soon?
- 16:53 CoCoA-5 Design #1501 (Rejected): testing for syntax errors
- Since we cannot see how to do this in a reasonable way, we reject the issue.
- 16:44 CoCoA-5 Bug #1524 (Feedback): wrong SystemCommand exit value
- 16:20 CoCoA-5 Design #1568 (In Progress): RMap and image: obsolescent?
- I have commented out the version in @coclib.cpkg5@. All tests pass.
- 16:08 CoCoA-5 Design #1407 (In Progress): Tagged values (Hilbert Series)
- What is the status of this issue? It is resolved?
Is %done correct? - 16:05 CoCoALib Feature #1254: New function: MinPoly for pseudo-zero-dimensional ideals
- Anna will try do this; perhaps this is a helpful prototype for issue #1103.
A very simple approach here would be t... - 15:54 CoCoALib Design #1628: Unused variables, params, data members
- I tried changing @CoCoA_ASSERT@ so that it expanded to @(void)sizeof(cond)@, *BUT* this worked badly because some ass...
- 15:42 CoCoALib Feature #1235 (In Progress): FreeModule: get canonical basis
- Agreed: the proposal in comment 5 is accepted.
To clarify the order of the elements in the canonical basis should ... - 15:36 CoCoALib Support #1612: Merge the doc file RadicalMembership.txt into ideal.txt
- Anna will do this!
Soon... I hope! - 15:34 CoCoALib Bug #536 (In Progress): Make RingBase::myCharacteristic a fn rather than a proc
- Anna approves too.
Suggestion: create also a fn which returns a machine @long@ (if poss, o/w error).
04 Nov 2021
- 23:26 CoCoA-5 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Is this something easy we could do quickly? Or is it better to postpone to the next release?
- 23:24 CoCoA-5 Bug #1397 (Resolved): Crashes if CoCoAHelp.xml is missing
- I have just tried, and CoCoA-5 no longer crashes. It also produced a fairly reasonable error message.
Maybe the err... - 23:21 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing
- If @CoCoAHelp.xml@ is missing then the installation is broken (or there is a wrong path).
Crashing/aborting may be a... - 23:16 CoCoA-5 Bug #1320: CoCoA-5 manual: incorrect empty line in syntax box (in PDF file)
- This is still a problem, but not so common.
We should identify some cases where it occurs, and study those:... - 23:07 CoCoA-5 Design #1501: testing for syntax errors
- The idea itself is not so bad, but actually implementing looks to be nightmarish.
I am inclined to reject this iss... - 22:59 CoCoA-5 Bug #1623 (In Progress): EmacsUI: annoying colours
- Now that I must consider how ringhoms are printed, I do think that readability of the current format is not so good.
... - 20:34 CoCoA-5 Design #610: Variable It: assign before or after printing
- Is the value "assigned" to @It@ or swapped into @It@ (hopefully without being copied more than strictly necessary)?
03 Nov 2021
- 20:56 CoCoALib Support #1265: Unregistered TXT files in doc
- I have added a "first" version of doc for @IdealOfPoints@ and @IdealOfProjectivePoints@.
- 19:57 CoCoALib Support #1265: Unregistered TXT files in doc
- The doc for @assert@ had already been added. I have revised the source code in @assert.H@ slightly.
- 19:20 CoCoALib Support #1265: Unregistered TXT files in doc
- I have just added doc for *@exception@* to the indexes.
- 20:07 CoCoALib Design #1422: Remove flag IhaveGBasisValue?
- We should see who uses the flag @IHaveGBasis@.
Presumably it could be replaced by a function which returns true if t... - 19:05 CoCoALib Feature #1235: FreeModule: get canonical basis
- If we want a special fn for getting the standard/canonical basis for a free module then it could be called *@Canonica...
- 18:58 CoCoALib Support #1591 (In Progress): Compilation of Normaliz
- What is the status of this issue?
Have it been resolved? Is there documentation? It would be good to close it, if ... - 18:55 CoCoALib Design #1628: Unused variables, params, data members
- I have just implemented the KISS approach: namely 2 @#ifdef@ blocks. Everything compiles, & all tests pass (both wit...
- 18:03 CoCoALib Design #1628: Unused variables, params, data members
- The KISS solution would be to use the @CoCoA_DEBUG@ macro.
I'm not keen to use macros (esp. to make @#ifdef@ blocks ... - 18:01 CoCoALib Design #1628 (In Progress): Unused variables, params, data members
- @clang@ is probably correct to report that the data-members are unused.
Their presence makes objects of this class n... - 17:59 CoCoALib Design #1628 (In Progress): Unused variables, params, data members
- Anna reports that clang issues warning about unused data-members (in @MatrixFpNonRed@).
The data-members are used wh... - 17:01 CoCoALib Design #1528 (In Progress): MacOS compilation with clang
- We have made some inprovements.
Clang's errors/warnings are often quite helpful (but sometimes also annoying).
- 16:48 CoCoALib Support #1618 (In Progress): Tidy ex-RingElem2
- I have tried to improve the structure of the code. What is printed out is tedious to follow -- can we make that prin...
30 Oct 2021
- 22:09 CoCoALib Bug #1280: Determinant & Inverse of matrix over non integral domain
- Here is a way of making test cases for computing determinant:
take a unimodular matrix, and multiply it by a nzzd (w... - 19:57 CoCoA-5 Bug #1502 (In Progress): SystemCommand in Microsoft version
- Bernhard and I made several tests yesterday: well, he made the tests, I just came up with "clever"(??) ideas.
*SUM... - 19:47 CoCoALib Design #1625 (Resolved): Use new C++ keyword override
- I have checked in (and found several errors/inconsistencies while doing so).
All compiles and works fine on my Linux... - 19:46 CoCoALib Design #1627 (Resolved): Use keyword "delete" for deleted functions
- I have checked in my changes. All compiles fine on my Linux box.
29 Oct 2021
- 21:51 CoCoALib Design #1627: Use keyword "delete" for deleted functions
- I have done the first wave (too much train travel).
Very mind-numbing doing these almost mechanical changes.
My cop... - 21:49 CoCoALib Design #1627 (Closed): Use keyword "delete" for deleted functions
- Following advice from Scott Meyers (Eff Modern C++, item 11)
use the keyword *@delete@* to indicate deleted function... - 19:17 CoCoA-5 Design #1626 (Feedback): NewMat: should be obsolescent?
- What are the differences between *@NewMat@* and *@ZeroMat@*.
The manual entry for @NewMat@ suggests that it is almos... - 19:13 CoCoALib Bug #1280: Determinant & Inverse of matrix over non integral domain
- Here are some more examples which should work, but which do not:...
- 19:09 CoCoALib Bug #536: Make RingBase::myCharacteristic a fn rather than a proc
- Now we have moved to C++14, and @BigInt@ has a move ctor, we can implement this change.
Should there be a speed ch...
27 Oct 2021
- 13:13 CoCoA-5 Support #1006: External dependencies for building
- A possible compromise to avoid deleting the documentation if the software components needed to rebuild it are not pre...
25 Oct 2021
- 20:01 CoCoALib Design #1625: Use new C++ keyword override
- In @FractionField.C@ I have found this check-in comment:...
- 19:58 CoCoALib Design #1625: Use new C++ keyword override
- I think I have made most of the changes... quite a mind-numbing experience :-(
I may have found a couple of typos ... - 19:52 CoCoALib Design #1625 (Closed): Use new C++ keyword override
- Scott Meyers, in Effective Modern C++, writes in Item 12 that one should use the new C++ keyword *@override@* for mem...
21 Oct 2021
- 17:41 CoCoA-5 Bug #1624: CantStop playing CantStop
- My CoCoA-5 ended abruptly when I sent an EOF as an input: is that to be expected?...
- 17:24 CoCoA-5 Bug #1624: CantStop playing CantStop
- It seems to work fine on my linux box.
- 17:22 CoCoA-5 Bug #1624 (New): CantStop playing CantStop
- Long tried @PlayCantStop@ (On Microsoft) but quickly wanted to give up.
However, interrupting did not work. He had ...
20 Oct 2021
- 22:09 CoCoALib Design #1608 (Closed): Domain of definition of NextPrime (and PrevPrime)
- 22:05 CoCoA-5 Bug #1614 (Feedback): SourceRegion gives misleading error mesg
- 22:04 CoCoA-5 Feature #1616 (Feedback): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
- Maybe poor Anna will have to do a merge?
- 15:53 CoCoA-5 Feature #1616 (Resolved): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
- This is almost done. I made the change while making a belated, corrected video for last week's CoCoALib course.
Wil... - 21:48 CoCoALib Design #1617 (Resolved): UnivariateIndetIndex: exact semantics
- I have checked in the version which rejects constant but accepts polyrings with 1 indet.
- 20:40 CoCoALib Design #1617: UnivariateIndetIndex: exact semantics
- I tried throwing an exception if the arg was a constant or if the polyring had just 1 indet, but several tests failed...
- 15:52 CoCoALib Design #1617: UnivariateIndetIndex: exact semantics
- If we do change the semantics, *don't forget to change the doc as well!* And perhaps also change the tests!
- 15:51 CoCoALib Design #1617 (In Progress): UnivariateIndetIndex: exact semantics
- I have just modified the imple of @UnivariateIndetIndex@ so that it produces an error if the input is constant or if ...
- 15:56 CoCoALib Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Robbiano would like @factor@ to work for integers (or some integers, at least).
How can we do this reasonably? Mayb...
18 Oct 2021
- 12:01 CoCoA-5 Bug #1623: EmacsUI: annoying colours
- I suppose we could change the printed form to something like this:...
- 11:58 CoCoA-5 Bug #1623 (Feedback): EmacsUI: annoying colours
- I have now found examples where the EmacsUI can change colours annoyingly: printing out homomorphisms....
- 11:33 CoCoA-5 Bug #1622: BuiltinOneLiners -- less precise location in error messages
- Here is an example of what I mean:...
- 11:30 CoCoA-5 Bug #1622: BuiltinOneLiners -- less precise location in error messages
- I have set the target version as 5.3.4, but this may be wildly optimistic.
I fear that this request may be rather ha... - 11:29 CoCoA-5 Bug #1622 (New): BuiltinOneLiners -- less precise location in error messages
- I have noticed that error messages produced by fns which are defined in *@BuiltinOneLiners@* are less precise than th...
- 11:26 CoCoA-5 Support #1621: Doc for the various BuiltIn files
- I have set 5.3.4 as the target version because I think it would be a good idea to have a first version available soon...
- 11:25 CoCoA-5 Support #1621 (New): Doc for the various BuiltIn files
- We need to produce documentation explaining the difference between the various *@BuiltIn@* files.
When someone wants... - 11:23 CoCoA-5 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
- Compare also with *@LinKer@* which returns MAT and *@LinKerBasis@*, returning LIST LIST RINGELEM.
- 11:08 CoCoA-5 Bug #928: ciao, exit, quit can be used not only at top level
- The problem as describe is still present.
The easy approach is to leave the interpreter as is, and just change the...
17 Oct 2021
- 20:49 CoCoA-5 Bug #1412 (Feedback): Emacs UI: font size
- I have just checked in a modified version of cocoa5.el.
I have replaced line 1337 by an *@if@* which sets the major ...
Also available in: Atom