Activity
From 10 Oct 2021 to 08 Nov 2021
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... -
- Bernhard Andraschko reports the following (via email):...
-
- Get started!
05 Nov 2021
-
- I have changed all the files.
The only slightly strange one is @C5.H@ where the whole file is inside a @#ifdef@ bloc... -
- This is a reasonable proposal. Let's do it!
Soon?
-
- Since we cannot see how to do this in a reasonable way, we reject the issue.
-
-
16:40 CoCoA-5 Bug #1623: EmacsUI: annoying colours
- John Abbott wrote:
> I suppose we could change the printed form to something like this:
> [...]
> Or maybe *@domai... -
- The old function @image@ is only used in @radical.cpkg2@ and @toric.cpkg5@.
They should (easily) be replaced by prop... -
- I have commented out the version in @coclib.cpkg5@. All tests pass.
-
- Anna: compare the function in CoCoALib and remove or simplify the package, at least @Aux_BinExp@ should be deleted.
-
- see also #1254
-
- There is something very similar for RationalSolve in CoCoA-5.
Anna: consider that design and copy:... -
- What is the status of this issue? It is resolved?
Is %done correct? -
- Anna will try do this; perhaps this is a helpful prototype for issue #1103.
A very simple approach here would be t... -
- I tried changing @CoCoA_ASSERT@ so that it expanded to @(void)sizeof(cond)@, *BUT* this worked badly because some ass...
-
- Agreed: the proposal in comment 5 is accepted.
To clarify the order of the elements in the canonical basis should ... -
- Anna will do this!
Soon... I hope! -
- Anna approves too.
Suggestion: create also a fn which returns a machine @long@ (if poss, o/w error).
-
- John Abbott wrote:
> I have tried to improve the structure of the code. What is printed out is tedious to follow --...
04 Nov 2021
-
- Is this something easy we could do quickly? Or is it better to postpone to the next release?
-
- I have just tried, and CoCoA-5 no longer crashes. It also produced a fairly reasonable error message.
Maybe the err... -
- If @CoCoAHelp.xml@ is missing then the installation is broken (or there is a wrong path).
Crashing/aborting may be a... -
- This is still a problem, but not so common.
We should identify some cases where it occurs, and study those:... -
- The idea itself is not so bad, but actually implementing looks to be nightmarish.
I am inclined to reject this iss... -
- Now that I must consider how ringhoms are printed, I do think that readability of the current format is not so good.
... -
- Is the value "assigned" to @It@ or swapped into @It@ (hopefully without being copied more than strictly necessary)?
03 Nov 2021
-
- I have added a "first" version of doc for @IdealOfPoints@ and @IdealOfProjectivePoints@.
-
- The doc for @assert@ had already been added. I have revised the source code in @assert.H@ slightly.
-
- I have just added doc for *@exception@* to the indexes.
-
- We should see who uses the flag @IHaveGBasis@.
Presumably it could be replaced by a function which returns true if t... -
- If we want a special fn for getting the standard/canonical basis for a free module then it could be called *@Canonica...
-
- What is the status of this issue?
Have it been resolved? Is there documentation? It would be good to close it, if ... -
- I have just implemented the KISS approach: namely 2 @#ifdef@ blocks. Everything compiles, & all tests pass (both wit...
-
- The KISS solution would be to use the @CoCoA_DEBUG@ macro.
I'm not keen to use macros (esp. to make @#ifdef@ blocks ... -
- @clang@ is probably correct to report that the data-members are unused.
Their presence makes objects of this class n... -
- Anna reports that clang issues warning about unused data-members (in @MatrixFpNonRed@).
The data-members are used wh... -
- We have made some inprovements.
Clang's errors/warnings are often quite helpful (but sometimes also annoying).
-
- 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
-
- Here is a way of making test cases for computing determinant:
take a unimodular matrix, and multiply it by a nzzd (w... -
- Bernhard and I made several tests yesterday: well, he made the tests, I just came up with "clever"(??) ideas.
*SUM... -
- I have checked in (and found several errors/inconsistencies while doing so).
All compiles and works fine on my Linux... -
- I have checked in my changes. All compiles fine on my Linux box.
29 Oct 2021
-
- I have done the first wave (too much train travel).
Very mind-numbing doing these almost mechanical changes.
My cop... -
- Following advice from Scott Meyers (Eff Modern C++, item 11)
use the keyword *@delete@* to indicate deleted function... -
- What are the differences between *@NewMat@* and *@ZeroMat@*.
The manual entry for @NewMat@ suggests that it is almos... -
- Here are some more examples which should work, but which do not:...
-
- Now we have moved to C++14, and @BigInt@ has a move ctor, we can implement this change.
Should there be a speed ch... -
- John Abbott wrote:
> In @FractionField.C@ I have found this check-in comment:
> [...]
>
> I suppose this was the...
27 Oct 2021
-
- A possible compromise to avoid deleting the documentation if the software components needed to rebuild it are not pre...
25 Oct 2021
-
- In @FractionField.C@ I have found this check-in comment:...
-
- I think I have made most of the changes... quite a mind-numbing experience :-(
I may have found a couple of typos ... -
- Scott Meyers, in Effective Modern C++, writes in Item 12 that one should use the new C++ keyword *@override@* for mem...
22 Oct 2021
-
- Added test
21 Oct 2021
-
- My CoCoA-5 ended abruptly when I sent an EOF as an input: is that to be expected?...
-
- It seems to work fine on my linux box.
-
- Long tried @PlayCantStop@ (On Microsoft) but quickly wanted to give up.
However, interrupting did not work. He had ...
20 Oct 2021
-
-
-
- Maybe poor Anna will have to do a merge?
-
- This is almost done. I made the change while making a belated, corrected video for last week's CoCoALib course.
Wil... -
- I have checked in the version which rejects constant but accepts polyrings with 1 indet.
-
- I tried throwing an exception if the arg was a constant or if the polyring had just 1 indet, but several tests failed...
-
- If we do change the semantics, *don't forget to change the doc as well!* And perhaps also change the tests!
-
- I have just modified the imple of @UnivariateIndetIndex@ so that it produces an error if the input is constant or if ...
-
- Robbiano would like @factor@ to work for integers (or some integers, at least).
How can we do this reasonably? Mayb...
18 Oct 2021
-
- I suppose we could change the printed form to something like this:...
-
- I have now found examples where the EmacsUI can change colours annoyingly: printing out homomorphisms....
-
- Here is an example of what I mean:...
-
- 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... -
- I have noticed that error messages produced by fns which are defined in *@BuiltinOneLiners@* are less precise than th...
-
- 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...
-
- We need to produce documentation explaining the difference between the various *@BuiltIn@* files.
When someone wants... -
- Compare also with *@LinKer@* which returns MAT and *@LinKerBasis@*, returning LIST LIST RINGELEM.
-
- The problem as describe is still present.
The easy approach is to leave the interpreter as is, and just change the...
17 Oct 2021
-
- I have just checked in a modified version of cocoa5.el.
I have replaced line 1337 by an *@if@* which sets the major ...
15 Oct 2021
-
- I think the relevant line is 1337 in @cocoa5.el@... too tired to try now.
-
- A quick search produced the following advice:
https://stackoverflow.com/questions/2238418/emacs-lisp-how-to-get-bu... -
14:24 CoCoALib Bug #1620 (New): MinPolyQuot not documented
- MinPolyQuot is available in CoCoALib but is not documented.
-
- It seems like this is already implemented. There is a function mySaturate in _AlgebraicCore/SparsePolyOps-ideal.C_.
...
14 Oct 2021
-
- Mmm, should it be an error to call @UnivariateIndetIndex@ if the polyring has just 1 indet?
After all, the answer i... -
- I think that *@ex-RingElem2@* needs to be updated/tidied.
For instance, there is no need to pass the ring to the f...
13 Oct 2021
-
- What about the case of a constant poly in a polyring with just 1 indet?
Error or not? (assuming we opt for an error... -
- What are the exact semantics of *@UnivariateIndetIndex@*?
In particular what should the function return if passed ... -
12 Oct 2021
-
- (2021-10-12) Last time this was checked was 4 years ago! We must check to see if it still a problem!
-
- The situation has improved. Maybe I will get good feedback from the course here in Kassel (2021-10-12).
-
- I think this has progressed but nothing was noted here. Increased %done.
-
- *2021-10-12* this is still a problem.
Presumably the problem comes from computing a multivariate gcd over a finite... -
- Esiste ancora questo problema? Non ho piu` sentito niente.
Possiamo semplicement chiudere l'issue? -
- Any progress on this issue in the last year?
Also available in: Atom