Activity
From 27 Sep 2021 to 26 Oct 2021
25 Oct 2021
- 20:01 Design #1625: Use new C++ keyword override
- In @FractionField.C@ I have found this check-in comment:...
- 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 ... - 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...
22 Oct 2021
- 08:22 Feature #1589 (Feedback): IdealOfPoints: allow matrix of points to be defined over "wrong" ring
- Added test
20 Oct 2021
- 22:09 Design #1608 (Closed): Domain of definition of NextPrime (and PrevPrime)
- 21:48 Design #1617 (Resolved): UnivariateIndetIndex: exact semantics
- I have checked in the version which rejects constant but accepts polyrings with 1 indet.
- 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...
- 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!
- 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 ...
- 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...
15 Oct 2021
- 14:24 Bug #1620 (New): MinPolyQuot not documented
- MinPolyQuot is available in CoCoALib but is not documented.
- 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_.
...
14 Oct 2021
- 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... - 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...
13 Oct 2021
- 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... - 20:14 Design #1617 (Closed): UnivariateIndetIndex: exact semantics
- What are the exact semantics of *@UnivariateIndetIndex@*?
In particular what should the function return if passed ...
04 Oct 2021
- 12:08 Bug #1601: Compilation ambiguity
- This particular problem has been resolved (by eliminating the *@apply@* fn from CoCoALib).
In this case the removal ... - 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...
- 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:...
- 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... - 09:50 Feature #1589: IdealOfPoints: allow matrix of points to be defined over "wrong" ring
- checked in (4 Oct 21)
30 Sep 2021
- 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 ...
- 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... - 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...
Also available in: Atom