CoCoA » CoCoALib

05 Nov 2021

16:09 Feature #1103: Pseudo-zero-dim ideals

see also #1254 Anna Maria Bigatti

16:07 Feature #1103: Pseudo-zero-dim ideals

There is something very similar for RationalSolve in CoCoA-5.
Anna: consider that design and copy:... Anna Maria Bigatti

16:05 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... John Abbott

15:54 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... John Abbott

15:42 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 ... John Abbott

15:36 Support #1612: Merge the doc file RadicalMembership.txt into ideal.txt

Anna will do this!
Soon... I hope! John Abbott

15:34 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).
John Abbott

15:30 Support #1618: Tidy ex-RingElem2

John Abbott wrote:
> I have tried to improve the structure of the code. What is printed out is tedious to follow --... Anna Maria Bigatti

03 Nov 2021

20:56 Support #1265: Unregistered TXT files in doc

I have added a "first" version of doc for @IdealOfPoints@ and @IdealOfProjectivePoints@.
John Abbott

19:57 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.
John Abbott

19:20 Support #1265: Unregistered TXT files in doc

I have just added doc for *@exception@* to the indexes.
John Abbott

20:07 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... John Abbott

19:05 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... John Abbott

18:58 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 ... John Abbott

18:55 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... John Abbott

18:03 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 ... John Abbott

18:01 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... John Abbott

17:59 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... John Abbott

17:01 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).
John Abbott

16:48 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... John Abbott

30 Oct 2021

22:09 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... John Abbott

19:47 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... John Abbott

19:46 Design #1627 (Resolved): Use keyword "delete" for deleted functions

I have checked in my changes. All compiles fine on my Linux box.
John Abbott

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

25 Oct 2021

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

22 Oct 2021

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

Added test Anna Maria Bigatti

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

15 Oct 2021

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

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... 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

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... 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