Activity

From 30 Sep 2021 to 29 Oct 2021

21:51 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... John Abbott
21:49 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... John Abbott
19:13 Bug #1280: Determinant & Inverse of matrix over non integral domain: Here are some more examples which should work, but which do not:... John Abbott
19:09 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... John Abbott
09:38 Design #1625: Use new C++ keyword override: John Abbott wrote:
> In @FractionField.C@ I have found this check-in comment:
> [...]
>
> I suppose this was the... Anna Maria Bigatti

20:01 Design #1625: Use new C++ keyword override: In @FractionField.C@ I have found this check-in comment:... John Abbott
19:58 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 ... John Abbott
19:52 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... John Abbott

08:22 Feature #1589 (Feedback): IdealOfPoints: allow matrix of points to be defined over "wrong" ring: Added test Anna Maria Bigatti

22:09 Design #1608 (Closed): Domain of definition of NextPrime (and PrevPrime): John Abbott
21:48 Design #1617 (Resolved): UnivariateIndetIndex: exact semantics: I have checked in the version which rejects constant but accepts polyrings with 1 indet.
John Abbott
20:40 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... John Abbott
15:52 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! John Abbott
15:51 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 ... John Abbott
15:56 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... John Abbott

14:24 Bug #1620 (New): MinPolyQuot not documented: MinPolyQuot is available in CoCoALib but is not documented. Florian Walsh
14:22 Feature #1619 (Closed): Make saturate available in CoCoALib: It seems like this is already implemented. There is a function mySaturate in _AlgebraicCore/SparsePolyOps-ideal.C_.
... Florian Walsh

15:50 Design #1617: UnivariateIndetIndex: exact semantics: Mmm, should it be an error to call @UnivariateIndetIndex@ if the polyring has just 1 indet?
After all, the answer i... John Abbott
15:48 Support #1618 (Closed): Tidy ex-RingElem2: I think that *@ex-RingElem2@* needs to be updated/tidied.
For instance, there is no need to pass the ring to the f... John Abbott

20:34 Design #1617: UnivariateIndetIndex: exact semantics: What about the case of a constant poly in a polyring with just 1 indet?
Error or not? (assuming we opt for an error... John Abbott
20:14 Design #1617 (Closed): UnivariateIndetIndex: exact semantics: What are the exact semantics of *@UnivariateIndetIndex@*?
In particular what should the function return if passed ... John Abbott

12:08 Bug #1601: Compilation ambiguity: This particular problem has been resolved (by eliminating the *@apply@* fn from CoCoALib).
In this case the removal ... John Abbott
12:03 Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix: We should move towards making *@apply@* obsolescent in CoCoA-5 now that RINGHOM can be applied directly to LIST and M... John Abbott
12:00 Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix: I am not sure whether the following behaviour is what is wanted:... John Abbott
11:50 Design #1467: Change syntax apply(phi,M) into phi(M)?: In the end my hand was forced.
Some future version of C++ (maybe C++17?) defines a template fn *@apply@* which match... John Abbott
09:50 Feature #1589: IdealOfPoints: allow matrix of points to be defined over "wrong" ring: checked in (4 Oct 21) Anna Maria Bigatti

14:13 Feature #1602: Sparse matrix (SparseMat): Do we want to handle structured matrices like sparse matrices? _e.g._ Toeplitz matrices are specified by just a few ... John Abbott
10:45 Support #1612 (Closed): Merge the doc file RadicalMembership.txt into ideal.txt: Merge the doc file *@RadicalMembership.txt@* into *@ideal.txt@*?
Note that the doc refers to @ex-RadicalMembership... John Abbott
10:23 Support #1611 (New): Documentation for PrimaryDecomposition: The CoCoALib doc for @PrimaryDecomposition@ needs to be improved.
I have just added a description of the data type i... John Abbott

Also available in: Atom

CoCoA » CoCoALib