Activity

From 21 Sep 2021 to 20 Oct 2021

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

17:45 Bug #1585 (Closed): CRASH/ABORT: GMP overflow: As observed in comment 11, it would be very hard to try to prevent overflow in all cases.
It thus seems reasonable t... John Abbott

11:31 Bug #1601: Compilation ambiguity: I think I know understand what happens: g++ v.11 has as default C++ version something newer than C++14.
My script @c... John Abbott

Also available in: Atom

CoCoA » CoCoALib