Project

General

Profile

Activity

From 03 Feb 2022 to 04 Mar 2022

04 Mar 2022

17:36 Support #1612 (Closed): Merge the doc file RadicalMembership.txt into ideal.txt
done.
I also consequently cleaned it up.
Anna Maria Bigatti

03 Mar 2022

15:29 Feature #1670: Build also dynamic/shared library for CoCoALib?
There is some information at the following URL -- no idea how reliable it might be.
@https://tldp.org/HOWTO/Program-...
John Abbott
14:42 Support #1555: Software licence
Gereon has confirmed that the trial version seems to be fine for his purposes:
in ptic, he needed a revised copyrigh...
John Abbott

02 Mar 2022

13:59 Feature #1670 (New): Build also dynamic/shared library for CoCoALib?
Bruns asks whether we could arrange for CoCoA to build also a dynamic/shared library.
This should work on Linux/Ma...
John Abbott

24 Feb 2022

17:59 Design #1669: Review File subtree hierarchy
Some suggestions:
* separate @configuration@ from the subdir containing scripts.
* the subtree for CoCoA-5 document...
John Abbott
17:57 Design #1669 (New): Review File subtree hierarchy
After writing a script to make a copy of the sources,
I would like to suggest a review of the structure of
the sour...
John Abbott

23 Feb 2022

11:38 Design #1528 (Closed): MacOS compilation with clang
John Abbott
10:24 Support #1555 (Resolved): Software licence
I think I have done this mostly now.... quite a gruelling, mind-numbing task. And, yes, it did take a tediously long... John Abbott
10:00 Design #855 (Feedback): Copyright and authorship?
I have done almost all source code files. The remaining exceptions are Simoes and Arri.
Already checked in.
John Abbott

18 Feb 2022

16:57 Feature #1001 (In Progress): CoCoALib: ideas for student projects
This issue and #242 cover similar ground.
Suggestion: *split the 2 issues into: ones for CoCoA-5, and ones for CoC...
John Abbott
15:32 Support #467 (Closed): Keep CoCoALib web page up to date! All pages!
Anna Maria Bigatti
15:26 Design #581 (Closed): C++14: MachineInt
I have fixed some minor bugs -- Bruns compiled on some weird platform which highlighted them.
Checked in. Hoping it...
John Abbott
15:24 Feature #1598 (Closed): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
Anna Maria Bigatti
15:03 Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
This issue overlaps with Design #1467. Anna Maria Bigatti
15:24 Design #1467 (Closed): Change syntax apply(phi,M) into phi(M)?
Anna Maria Bigatti
15:03 Design #1467: Change syntax apply(phi,M) into phi(M)?
This issue overlaps with Feature #1598.
Anna Maria Bigatti

17 Feb 2022

20:28 Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
I have now removed @apply@ from all the packages as well... sigh!
All tests pass now.
John Abbott
20:07 Feature #1598 (Feedback): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
I have now made @apply@ obsolescent, and updated the doc.
Hopefully all is OK now... I'd better run the tests (sigh...
John Abbott
19:37 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
If we require that the supplied QB be in order (incr or decr?)
then the question about permutations goes away.
Ca...
John Abbott

16 Feb 2022

20:49 Support #1481 (Resolved): Release CoCoALib 0.99800
John Abbott
20:45 Feature #1580 (Closed): New fn prim for polys
Closing this issue. Created new issue for the generalization: #1668 John Abbott
20:43 Feature #1668 (New): Generalize prim
Generalize the function *@prim@* (see #1580).
Let it work in "towers" of extensions (where that makes sense).
John Abbott
20:41 Design #1528 (Feedback): MacOS compilation with clang
I have just searched quickly for doc about the mem fns for sending OpenMath serializations, but found nothing.
The g...
John Abbott
20:25 Support #467 (Resolved): Keep CoCoALib web page up to date! All pages!
I think this is largely automatic now.
Can we close?
John Abbott
20:00 Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib
Port the GBasis over ZZ code (prototype in a CoCoA-5 package) into C++.
Also make several algorithmic improvements...
John Abbott
19:42 Support #1666: MachineInt: chase through ULL changes
We will need new tests too.
Oh joy! That C++ has inherited so many "complicated/confusing" integer types...
Desi...
John Abbott
19:39 Support #1666 (In Progress): MachineInt: chase through ULL changes
(2022-02-16) now using ULL as internal repr for @MachineInt@.
Must chase though all changes:
* check all calls to @...
John Abbott
19:37 Design #581 (Resolved): C++14: MachineInt
I have modified the impl to use @unsigned long long int@ as the internal repr;
there is also a second impl which use...
John Abbott

15 Feb 2022

21:43 Design #581: C++14: MachineInt
This is not as straightforward as I was hoping.
It is not hard to change the internal repr (to @long long int@ or ev...
John Abbott
10:49 Support #1665: Compilation on Windows: problems for normaliz
You may need to set a "library path" to tell the system to look for libraries in "unusual places" (namely @/home/coco... John Abbott
10:08 Support #1665: Compilation on Windows: problems for normaliz
It seems that there is a similar problem on recognizing GMP libraries.
I compiled GMP on cygwin, and properly instal...
Anna Maria Bigatti
09:57 Support #1665 (New): Compilation on Windows: problems for normaliz
After the success on my Mac, I tried to compile normaliz-3.9.2 on windows/cygwin, but failed in the configuration (pr... Anna Maria Bigatti
10:21 Support #1591 (Closed): Compilation of Normaliz
Mac and Linux now done. I made a new issue for windows/cygwin #1665 Anna Maria Bigatti

14 Feb 2022

18:25 Feature #1235 (Closed): FreeModule: get canonical basis
All done. Closing.
John Abbott
18:22 Support #618 (Closed): Instructions for compiling libnormaliz
This is effectively superseded by issue #1591.
Closing -- the info here seems rather out of date.
John Abbott
18:10 Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?
John Abbott
17:13 Design #1649: Add file SparsePolyOps-vector.C
I don't want to make hasty decision now, so this ("division related") is the state for release 0.99720.
Postponing...
Anna Maria Bigatti
17:04 Design #1649: Add file SparsePolyOps-vector.C
Checked in.
Changed version numer to 719 (very close to the official 720)
Now the file contains the division rela...
Anna Maria Bigatti
12:45 Design #855: Copyright and authorship?
John Abbott wrote:
> I have done the example files... I hope no mistakes.
> What about @ex-BencharkToolkit.C@? I h...
Anna Maria Bigatti
11:01 Support #1664 (New): geobucket: documentation
How can a user discover "geobuckets" and what they are good for?
Improve the documentation!
John Abbott
09:59 Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?
Dowloaded, compiled, (personal-)installed also on windows.
Instructions are good.
Closing
Anna Maria Bigatti

13 Feb 2022

11:00 Design #855 (Resolved): Copyright and authorship?
I have done the example files... I hope no mistakes.
What about @ex-BencharkToolkit.C@? I have not changed that (c...
John Abbott

11 Feb 2022

18:20 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
How many files are affected? How many would need to have new names?
We could try contacting the txt2tags people to ...
John Abbott
14:36 Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-"
It seems that txt2tags has some problems with links to filenames containing "_" or "-".
I found this out trying to m...
Anna Maria Bigatti
10:55 Design #855: Copyright and authorship?
I have checked in yesterday's changes... lots of files.
Anna could you do a few spot checks to make sure that the on...
John Abbott

10 Feb 2022

19:51 Design #855: Copyright and authorship?
I've done most/all files in @doc/txt/@ and @include/CoCoA/@ and @src/AlgebraicCore/@ and @src/tests/@.
Still to...
John Abbott
14:07 Support #1591: Compilation of Normaliz
This worked for me:... Anna Maria Bigatti
13:26 Support #1591: Compilation of Normaliz
Try... John Abbott
13:05 Support #1591: Compilation of Normaliz
John Abbott wrote:
> Did you try following comment 10?
yes, did not work: @$GMP_INSTALLDIR@ not used, that's why...
Anna Maria Bigatti
12:38 Support #1591: Compilation of Normaliz
Did you try following comment 10?
John Abbott
10:59 Support #1591: Compilation of Normaliz
John Abbott wrote:
> I compiled Normaliz without any problems: here are my notes:
> [...]
They didn't work for m...
Anna Maria Bigatti
13:29 Support #26: Redmine Administration
Remember to close (as "admin") the closed releases. (I've just "closed" some old releases) Anna Maria Bigatti

09 Feb 2022

20:20 Bug #1661 (Closed): Microsoft: cannot compile with signal handling
Bruns reported by email a problem compiling on Microsoft:... John Abbott
20:12 Feature #800 (Resolved): PPMonoidSparse: impl of sparse PPs
The code is there, and there is a test: @test-PPMonoidSparse1.C@. However many lines are commented out in the test.
...
John Abbott
19:43 Support #1591: Compilation of Normaliz
I have also had success with @normaliz-3.9.2@ (just released). I did see several compiler warnings (about normaliz c... John Abbott

08 Feb 2022

21:25 Design #1528 (Resolved): MacOS compilation with clang
I have done the mind-numbing name replacement. All compiles OK: fewer warnings with clang.
Checked in. I wonder i...
John Abbott

07 Feb 2022

18:39 Design #1528: MacOS compilation with clang
I think I might impl the suggestion in comment 4. We can easily change the name later... just a global subst.
Poor ...
John Abbott
17:59 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
John Abbott wrote:
> I think I have changed the doc too!
I added to the doc (lib+5) a note on the renaming (so th...
Anna Maria Bigatti
16:26 Feature #1645: Implement monic0(f) for the case monic(0)?
John Abbott wrote:
> Since I am hoping to make a release quite quickly, I prefer to postpone this issue to the next ...
Anna Maria Bigatti
16:25 Feature #958: New function: multiplicity and dim
Anna Maria Bigatti wrote:
> Yet to be fixed: non homogeneous input.
> (postponed again)
and again
Anna Maria Bigatti

05 Feb 2022

20:30 Support #1481 (In Progress): Release CoCoALib 0.99800
John Abbott
20:19 Feature #958: New function: multiplicity and dim
Postpone? John Abbott
20:17 Support #1591: Compilation of Normaliz
I compiled normaliz on my old MacBook without any problems (following the instructions above, in comment 10).
John Abbott
20:16 Support #26: Redmine Administration
According to the message at the bottom of each screen in redmine, the version we are using is about 5 years ago.
We ...
John Abbott
20:13 Support #1612: Merge the doc file RadicalMembership.txt into ideal.txt
I have renamed the files as in comment 2.
Any chance of getting the doc sorted out?
John Abbott
20:05 Feature #1645: Implement monic0(f) for the case monic(0)?
Since I am hoping to make a release quite quickly, I prefer to postpone this issue to the next release (so we have ti... John Abbott
19:41 Feature #1235 (Resolved): FreeModule: get canonical basis
I have made a trivial impl (& written short doc).
Must also make available from CoCoA-5 (with doc).
John Abbott
17:51 Design #1528: MacOS compilation with clang
I have just tried "mindlessly" changing names as suggested above on my MacBook.
That did indeed eliminate those tedi...
John Abbott
13:18 Design #1528: MacOS compilation with clang
I compiled on my MacBook yesterday, and all went well except for numerous warning about "hidden member fn" (or simila... John Abbott

04 Feb 2022

22:38 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
Now everything compiles and all tests pass.
Will check in soon.
I think I have changed the doc too!
John Abbott
22:17 Design #854 (Feedback): Function MakeTermOrd should be renamed MakeTermOrdMat?
I have just renamed @MakeTermOrd@ to *@MakeTermOrdMat@*.
Checking that everything compiles; then will check in.
John Abbott
22:36 Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
The first line in commenrt 10 above is still about 50s... too slow!
How long does it take to compute the det of a 50...
John Abbott
22:11 Support #1591 (Feedback): Compilation of Normaliz
John Abbott
21:12 Support #1591: Compilation of Normaliz
I compiled Normaliz without any problems: here are my notes:... John Abbott
22:07 Feature #1589 (Closed): IdealOfPoints: allow matrix of points to be defined over "wrong" ring
This has been in feedback for 4 months without incident, so we can close.
John Abbott
22:05 Support #1265: Unregistered TXT files in doc
There is a file called @SparsePolyOps.txt@ which seems to be devoid of meaningful content.
There are several files w...
John Abbott
22:00 Support #613: Which ubuntu / debian packages are needed to compile CoCoA
This should be updated after I have updated my Linux box (still on Ubuntu 18.04).
John Abbott
21:57 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
How should this be done in a systematic way (which can be paused)?
Postponing since it is just "tidying up".
We mus...
John Abbott
21:54 Design #855: Copyright and authorship?
This is another "long and tedious" job. It needs to be done, but better when time pressure is less.
John Abbott
21:52 Design #1653 (Closed): Discriminant: return value
John Abbott
21:51 Support #1555: Software licence
This should not be hard, but will probably take quite a lot of time... which is very scarce at the moment.
Postponin...
John Abbott
21:50 Design #1547 (Closed): Require decimal mode for ostream?
John Abbott
21:49 Design #1655: Remove ability to compile CoCoALib against UNINSTALLED gmp?
*Anna* please check everything is OK on your computer!
John Abbott
21:48 Design #1625 (Closed): Use new C++ keyword override
No one has howled in the last 3 months, so closing.
Maybe on the next trip to Genoa I can check on Anna's computer.
John Abbott
21:44 Bug #1601 (Closed): Compilation ambiguity
Let's cross our fingers and hope that the problem has gone away by the time we jump to C++20.
Closing this issue.......
John Abbott
21:40 Support #618: Instructions for compiling libnormaliz
*This probably needs changing* after issue #1655.
How does this issue differ from #1591 ?
John Abbott
21:37 Feature #1488: BuiltIn Interreduce-Function
This is still not documented -- Anna can you do this?
Should the code be put into @SparsePolyOps-vector@?
Presuma...
John Abbott
21:33 Bug #1656 (Closed): SEGV in resultant
I have added a test to @exbugs.cocoa5@ -- the one given in the description.
Closing.
John Abbott
21:31 Slug #1517 (Closed): RandomLinearForm
The code works. If there is a real use-case where the low speed is a problem then we can create a new issue.
I thin...
John Abbott
21:24 Feature #1633 (Closed): Make polynomial multiplication interruptible?
John Abbott
21:23 Design #1627 (Closed): Use keyword "delete" for deleted functions
Maybe not perfect, but surely most cases have been added.
Not time efficient to search for any missed cases. Closing.
John Abbott
21:20 Slug #1375 (Closed): Radical 0-dim: varied timings
Maybe the current impl is not perfect, but it is good enough for these tests.
Closing.
John Abbott
21:14 Support #1618 (Closed): Tidy ex-RingElem2
This has been at 90% for 3 months.
Cannot be bothered to check now. Just closing.
John Abbott
 

Also available in: Atom