CoCoA

09 Apr 2019

17:48 CoCoALib Feature #1267: Ideal equality

I'm very uneasy in doing an automatic choice: the "trick" might work out as a slow overhead in a long loop with many ... Anna Maria Bigatti

10:50 CoCoALib Support #1134: Organize better the documentation for CoCoALib

I am postponing this issue. Even though I think it is important, it is likely to need a lot of time; anyway, the doc... John Abbott

05 Apr 2019

20:56 CoCoA-5 Slug #1270: RationalSolve: use MinPolyQuot instead of elim

Before we decide to replace @elim@ by @MinPolyQuot@ we should check that @MinPolyQuot@ is usually faster (I would cer... John Abbott

20:19 CoCoA-5 Slug #1270 (Closed): RationalSolve: use MinPolyQuot instead of elim

Currently @RationalSolve@ uses @elim@, but every use is equivalent to a call to @MinPolyQuot@ (in the subring generat... John Abbott

16:31 CoCoALib Feature #385: Design new errors using inheritance

This really the same as #743. John Abbott

16:26 CoCoALib Feature #743: Better errors: give supplementary info about the error

It would be nice to have a quiet moment to get this matter properly sorted out.
We really should try to deal with ... John Abbott

16:06 CoCoALib Design #581: C++14: MachineInt

I have modified the subject and description to refer to C++14 instead of C++11.
There is a summary of the integral... John Abbott

15:48 CoCoALib Feature #1218: 32-bit or 64-bit preprocessor macro?

We should check whether this still makes sense with C++14. I should also check on my little 32-bit machine...
John Abbott

15:46 CoCoALib Feature #1197: IsZeroDet: new fn

The idea is simple: compute the det modulo various primes, and if any is non-zero then we know the non-modular det is... John Abbott

12:30 CoCoALib Feature #1267: Ideal equality

A similar trick could be used for ideal membership: if @x@ is not in @I+J@ then it is certainly not in @I@.
John Abbott

04 Apr 2019

21:31 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)

It seems that there is already an impl in @SparsePolyOps-RingElem@.
There is no doc, no test. Also not exported t... John Abbott

15:16 CoCoALib Feature #1267 (In Progress): Ideal equality

Long sent me one example which wanted to test if a large ideal (in a ring with 36 indets) contained 1. He actually d... John Abbott

15:07 CoCoALib Feature #1269 (New): Ideal Ops: sort-cuts for trivial args?

A colleague here in Passau was disappointed that @intersection(ideal(1), J)@ was taking a long time, even though the ... John Abbott

15:00 CoCoALib Design #1255: Ideals with trivial GBasis

Generators which are monomials are also a special case.
Then one could imagine a more complicated "mixed" situatio... John Abbott

03 Apr 2019

17:14 CoCoA-5 Support #1268: Documentation for how to write a CoCoA package

I can make some notes based on the questions I've been asked.
These notes could form a basis for a better guide; b... John Abbott

17:12 CoCoA-5 Support #1268 (Closed): Documentation for how to write a CoCoA package

Some students here in Passau have been given the task of writing a CoCoA package, and have asked me for guidance. It... John Abbott

17:11 CoCoA-5 Design #474 (In Progress): Eliminate package BinRepr

What is the status of this issue?
The package still exists, and there is a *@BinRepr@* builtin function.
Can we d... John Abbott

17:08 CoCoA-5 Feature #1012 (Closed): Chebyshev polynomials

This has already been done. Closing. John Abbott

02 Apr 2019

21:52 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Anna has just sent me some code with redundant @#include@ directives removed.
Most compilation times are the same. ... John Abbott

11:50 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I believe that built-in functions (for extlibs, at least) are "registered" by constructing a global object. So the a... John Abbott

01 Apr 2019

17:30 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Indeed "duplication" is generally undesirable (as is the use of @goto@), but it may still be a good idea in certain "... John Abbott

15:27 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

John Abbott wrote:
> I am very tempted to suggest modifying the macro *@DECLARE_MISSING_EXTLIB@* so that it is *inde... Anna Maria Bigatti

11:36 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Yesterday I ran the compiler with the *@-E@* option, which just does the preprocessing steps. Since currently I do n... John Abbott

29 Mar 2019

19:23 CoCoA-5 Support #290: Which functions are defined in CoCoALibSupplement?

Anna Maria Bigatti wrote:
> @CoCoALibSupplement@ currently contains some functions for external libraries, e.g.
> [... Anna Maria Bigatti

19:10 CoCoA-5 Support #290: Which functions are defined in CoCoALibSupplement?

@CoCoALibSupplement@ currently contains some functions for external libraries, e.g.... Anna Maria Bigatti

15:23 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I suggest putting @DECLARE_MISSING_EXTLIB@ into a smaller header file (if possible).
Then files such as @BuiltinFu... John Abbott

14:23 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

It seems that many includes in @BuiltInFunctions.H@ are useless, or useful for only a few functions. Cleaning them m... Anna Maria Bigatti

14:16 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I note also that my compilation test above was without any external libraries.
So the time to compile @BuiltinFuncti... John Abbott

09:18 CoCoALib Feature #1267: Ideal equality

It is implemented in @ideals.C@ like this:... Anna Maria Bigatti

28 Mar 2019

21:37 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Here are the compilations timings for the updated computer:... John Abbott

14:22 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

John Abbott wrote:
> BTW I noticed that it took quite a long time to compile @BuiltinFunctions-Normaliz.C@ even thou... Anna Maria Bigatti

14:14 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

John Abbott wrote:
> I have just checked (using fgrep) and in @BuiltinFunctions-CoCoALib.C@ there are 28 fns with va... Anna Maria Bigatti

13:30 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I have just checked (using fgrep) and in @BuiltinFunctions-CoCoALib.C@ there are 28 fns with variable arity, and 129 ... John Abbott

10:58 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

The time to compile (and link) @ex-empty.C@ was about 20s.
I tried splitting @BuiltinFunctions-CoCoALib.C@ into qu... John Abbott

16:49 CoCoALib Feature #1267 (In Progress): Ideal equality

Long in Passau lamented that sometimes testing two ideals for equality was too slow.
It might help to perform a fe... John Abbott

16:42 CoCoALib Design #1266 (New): Make a poly ring QQ[x,y,z] also contain a ZZ[x,y,z]

Idea: every polyring @QQ[x,y,z]@ should also contain a single copy of @ZZ[x,y,z]@.
This single copy can then be us... John Abbott

16:39 CoCoALib Feature #1249: principal ideal has a Gbasis

Having seen in the code that computing a GBasis over @QQ@ implies creating a new ring (with coeffs in @ZZ@), encourag... John Abbott

10:20 CoCoALib Bug #1260: Fix file permissions after using CVS

@.command@ is for MacOS:
<quote>
(...) .sh files are "owned" by Xcode by default, so if you were to double-click on... Anna Maria Bigatti

27 Mar 2019

17:21 CoCoALib Bug #1256 (Closed): RingID: different values in test-output on different platforms

John Abbott wrote:
> Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a po... Anna Maria Bigatti

15:26 CoCoALib Bug #1256: RingID: different values in test-output on different platforms

Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a polyring over a fraction... John Abbott

15:11 CoCoALib Bug #1256: RingID: different values in test-output on different platforms

... John Abbott

14:39 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Do you know how much the overhead for including @library.H@ is? that is quite slow by itself.
(try compiling an @ex... Anna Maria Bigatti

14:38 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Other compilation times:... John Abbott

14:21 CoCoA-5 Feature #1262 (In Progress): Split BuiltinFunctions-CoCoALib.C into smaller files

I tried splitting @BuiltinFunctions-CoCoALib@ into two more-or-less-equal parts.
File Time to compile... John Abbott

13:55 CoCoALib Support #1265: Unregistered TXT files in doc

These files exist but are not present in @index-alpha.html@.... John Abbott

13:52 CoCoALib Support #1265 (Closed): Unregistered TXT files in doc

There are some "unregistered" *@.txt@* files in the CoCoALib documentation.
Rectify!
John Abbott

13:27 CoCoALib Bug #1260: Fix file permissions after using CVS

I have noticed that some shell scripts in the source tree have suffix *@.sh@* while others have suffix *@.command@*. ... John Abbott

26 Mar 2019

17:50 CoCoALib Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files

After unpacking the TGZ file on a Linux box, I found lots of files with names starting with dot-underscore. While th... John Abbott

17:43 CoCoALib Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files

I have just downloaded 0.99601 (TGZ format) and have noted that there are lots of small file which should not really ... John Abbott

16:47 CoCoALib Support #1263 (In Progress): Tidy CoCoALib test directory

The files I have are:... John Abbott

16:44 CoCoALib Support #1263 (Resolved): Tidy CoCoALib test directory

I have done some cleaning and have noticed some files called @test-*.C@ in the test directory which are not listed in... John Abbott

13:53 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I had a look.
I think it would make sense to separate off the functions with variable number of args.
(look for @DE... Anna Maria Bigatti

11:39 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I hope this evening to try compiling again on the small computer, and I'll note which files gave problems with swappi... John Abbott

11:27 CoCoA-5 Feature #1262 (In Progress): Split BuiltinFunctions-CoCoALib.C into smaller files

Yesterday I tried compiling CoCoA-5 on my small computer (0.5Gbyte RAM), and it had trouble compiling @BuiltinFunctio... John Abbott

11:34 CoCoALib Bug #1260 (In Progress): Fix file permissions after using CVS

Here is a simple script which does most of the work. I tested it by setting "funny" permissions on all files and dir... John Abbott

25 Mar 2019

17:09 CoCoALib Design #1259 (Resolved): ThreadsafeCounter is now obsolete?

I have now removed @ThreadsafeCounter@ from my own personal copy.
Everything compiles and all tests pass. :-)
Once... John Abbott

12:06 CoCoALib Design #1259: ThreadsafeCounter is now obsolete?

A quick grep shows that @ThreadsafeCounter@ is used in just two places:
* @ring.C@ (for the ring ID)
* @symbol.C@ ... John Abbott

12:01 CoCoALib Design #1259 (Closed): ThreadsafeCounter is now obsolete?

C++14 *@atomic@* machine integers should render @ThreadsafeCounter@ superfluous.
Check, and either clean up the co... John Abbott

15:45 CoCoALib Design #891 (Closed): Replace auto_ptr in preparation for C++11?

Summary:
* update effected
* *NOT C++03 COMPATIBLE* (not worth it)
John Abbott

15:33 CoCoALib Design #710: Update normaliz interface?

Now that we are passing to C++14, we can reactivate this task.
The first step is to make sure that our current int... John Abbott

13:57 CoCoA-5 Bug #1261 (In Progress): ASCII function

I have fixed the code in my local copy (@BuiltinFunctions.C@) so that it uses *@unsigned char@* instead of *@char@*. ... John Abbott

13:54 CoCoA-5 Bug #1261 (Closed): ASCII function

The @ascii@ function returns negative values for characters with code greater than 127.
I think it is better for n... John Abbott

13:52 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash

This is still a bug (in emacs 26.1).
A possible solution could be to print "weird characters" using backslash+octa... John Abbott

13:37 CoCoALib Bug #1260: Fix file permissions after using CVS

I'm fed up with having to correct the file permissions by hand.
The proper solution is to correct what is recorded... John Abbott

12:09 CoCoALib Bug #1260 (Closed): Fix file permissions after using CVS

I have noticed repeatedly that after doing CVS, the permissions on my files have become corrupted. This is *bad* whe... John Abbott

20 Mar 2019

11:11 CoCoALib Feature #1251 (In Progress): New function: radical for monomial ideal

John Abbott

19 Mar 2019

17:04 CoCoA-5 Support #1258 (Closed): Manual page for CantStop

@CantStop.cpkg5@ now works. There should be a manual page at least for @PlayCantStop@.
Perhaps some of the other fn... John Abbott

15:16 CoCoA-5 Feature #1246 (In Progress): Revive old CoCoA4 package called "cocoa5.cpkg"

John Abbott

15:15 CoCoALib Bug #1250 (Feedback): SEGV: CoCoALib with Normaliz in multithreading

John Abbott

12:12 CoCoALib Design #1257 (Feedback): C++14: use nullptr

I have now updated the .C files too. Everything compiles and runs.
It is possible that I have missed some 0 (that w... John Abbott

18 Mar 2019

18:53 CoCoALib Design #1257 (In Progress): C++14: use nullptr

I have done the header files. There may still be one or zeroes which escaped me (but I hope not). Next are the .C f... John Abbott

11:24 CoCoALib Design #1257 (Closed): C++14: use nullptr

From C++11 there is the constant *@nullptr@* for the null pointer.
Update our (C++) code to use it!
John Abbott

14:42 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"

Here are the aspects to be addressed next:
* how to serialize rings (_i.e._ follow previous format, but passing ring... John Abbott

14:38 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"

Anna has cleaned the file so that it is syntactically OK.
Now we must look at the semantics. John Abbott

14:33 CoCoALib Support #1161: Split NumTheory.C into several smaller files

Current state:
* *@NumTheory.C@*
* *@NumTheory-ContFrac.C@*
* *@NumTheory-CoprimeFactorBasis.C@*
* *@NumTheory-pr... John Abbott

14:10 CoCoALib Feature #1227: exgcd; solve Bezout equation

I prefer to defer this question until later, until when we have decided what exactly @exgcd@ should do (and whether i... John Abbott

15 Mar 2019

17:59 CoCoALib Bug #1256: RingID: different values in test-output on different platforms

Anna uses @clang@ on MacOS, while I use @g++@ on Linux.
We get different outputs for @test-output@: its seems that t... John Abbott

17:56 CoCoALib Bug #1256 (Closed): RingID: different values in test-output on different platforms

In @test-output@ Anna and I get different outputs (due to different RingIDs) because we use different platforms.
I... John Abbott

17:31 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading

I have changed the @configure@ script so that it prints out a clearer summary.
I have changed the @Makefile@ so that... John Abbott

17:25 CoCoA-5 Feature #1236 (Feedback): Add "socket" devices

Anna prefers the longer field names. Code cleaned, and checked-in. Anna will test.
Doc updated.
John Abbott

15:41 CoCoA-5 Feature #1236: Add "socket" devices

I have updated the CoCoA-5 manual.
I have modified the code so that @OpenSocket@ returns a record with 4 fields: *... John Abbott

14 Mar 2019

13:35 CoCoALib Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho

Here is an effect of the idea of testing the remaining factor for primality.... John Abbott