Project

General

Profile

Activity

From 06 Feb 2022 to 07 Mar 2022

07 Mar 2022

10:42 Design #1649: Add file SparsePolyOps-vector.C
We decided @syz@ to be in submodule.C. Checked in. Anna Maria Bigatti
10:04 Support #1555 (Closed): Software licence
Anna Maria Bigatti

05 Mar 2022

14:48 Feature #1652 (In Progress): Add LM to cocoalib ?
Any progress to report here? Also Gereon Kremer is hoping to use @DivAlg@.
It is surprising that it is (apparently)...
John Abbott

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
 

Also available in: Atom