CoCoA » CoCoALib

26 Nov 2021

17:10 Support #262: Play with GIT

Does anyone have useful experience to help decide between Github/Gitlab/other? And also how one goes about in practice? John Abbott

17:08 Support #262: Play with GIT

Florian and Bernhard suggest putting the source on Github/Gitlab.
John Abbott

25 Nov 2021

16:47 Feature #1635 (In Progress): NR for polys with coeffs in PID

Make @NR@ work also polys with coeffs in a PID (at least in @ZZ@).
This is a stepping stone to GBasis over @ZZ@. John Abbott

23 Nov 2021

22:06 Support #256 (Resolved): Improve doc about ordering/grading for poly rings

I think the doc in @SparsePolyRing.txt@ is OK now. Do you agree, Anna?
John Abbott

19 Nov 2021

17:25 Feature #743: Better errors: give supplementary info about the error

for example, this would be nice... Anna Maria Bigatti

17:18 Feature #743: Better errors: give supplementary info about the error

We agreed that the string for the name of the function should contain just the name of the function, and its argument... Anna Maria Bigatti

17:05 Feature #743: Better errors: give supplementary info about the error

Anna suggests that the error message should also indicate which args (via their indices, starting from 0 or 1?)
For ... John Abbott

17 Nov 2021

12:04 Feature #1633: Make polynomial multiplication interruptible?

This is weird. I reverted to the old code because I wanted to confirm that it is not interruptible.
Indeed, it took... John Abbott

11:59 Feature #1633: Make polynomial multiplication interruptible?

I have just inserted a @CheckForInterrupt@ in the main loop for multiplication.
The simpler test example from commen... John Abbott

11:53 Feature #1633 (In Progress): Make polynomial multiplication interruptible?

Here is a simpler test example... John Abbott

11:50 Feature #1633: Make polynomial multiplication interruptible?

The relevant source code is probably @myMul@ in @SparsePolyOps-RingElem.C@ around line 413.
John Abbott

16 Nov 2021

20:33 Feature #1633: Make polynomial multiplication interruptible?

One crucial factor is how much overhead it would cost if we put a check inside some inner loop.
Also how many diff... John Abbott

20:32 Feature #1633 (Closed): Make polynomial multiplication interruptible?

I tried a (daft) example during an exercise class today: when tried to square a large polynomial it was not possible ... John Abbott

10:38 Bug #1281: Factor of multivariate sometimes prints ERROR

When it happens, it happens in pairs. Run this:... Anna Maria Bigatti

10:24 Bug #1281: Factor of multivariate sometimes prints ERROR

I confirm I (rarely) meet this error with tough examples in our development of Comprehensive Groebner Systems.
Anna Maria Bigatti

15 Nov 2021

20:06 Slug #1394: Oddly slow GBasis computation (slow final cleanup)

Here is another example using lex:... John Abbott

12 Nov 2021

00:58 Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix

We should update the doc so that it encourages people to apply RINGHOM directly rather than using @apply@.
We should... John Abbott

18:11 Design #1632: C++17: notes about updating

Here is a list of things to attend to when updating to C++17
* currently Scott Meyers does not have a C++17 book, so... John Abbott

18:09 Design #1632 (New): C++17: notes about updating

This issue is for gathering notes about updating to C++17 (from C++14).
John Abbott

11:44 Design #1617 (Closed): UnivariateIndetIndex: exact semantics

John Abbott

10:43 Support #1555: Software licence

We need to decide what the restrictive message should say.
Ideally it should be just 1 or 2 lines long, and placed v... John Abbott

10:28 Support #1555: Software licence

We need to consider also the copyright notices in the sources for CoCoA-5.
Should the copyright notice for CoCoA-5 f... John Abbott

10 Nov 2021

20:12 Design #1630 (New): Signal handler not portable?

Bruns reported by email that CoCoALib does not compile on an @"msys"@ platform because @sigaction@ is absent.
Inve... John Abbott

20:10 Feature #1488 (Feedback): BuiltIn Interreduce-Function

Is there documentation now? John Abbott

20:08 Design #1617: UnivariateIndetIndex: exact semantics

I have updated the documentation to the current behaviour. John Abbott

20:02 Design #1617 (Feedback): UnivariateIndetIndex: exact semantics

John Abbott

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