Activity
From 25 Jan 2022 to 23 Feb 2022
23 Feb 2022
- 11:38 Design #1528 (Closed): MacOS compilation with clang
- 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...
- 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.
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... - 15:32 Support #467 (Closed): Keep CoCoALib web page up to date! All pages!
- 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... - 15:24 Feature #1598 (Closed): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
- 15:03 Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
- This issue overlaps with Design #1467.
- 15:24 Design #1467 (Closed): Change syntax apply(phi,M) into phi(M)?
- 15:03 Design #1467: Change syntax apply(phi,M) into phi(M)?
- This issue overlaps with Feature #1598.
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. - 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... - 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...
16 Feb 2022
- 20:49 Support #1481 (Resolved): Release CoCoALib 0.99800
- 20:45 Feature #1580 (Closed): New fn prim for polys
- Closing this issue. Created new issue for the generalization: #1668
- 20:43 Feature #1668 (New): Generalize prim
- Generalize the function *@prim@* (see #1580).
Let it work in "towers" of extensions (where that makes sense).
- 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... - 20:25 Support #467 (Resolved): Keep CoCoALib web page up to date! All pages!
- I think this is largely automatic now.
Can we close?
- 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... - 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... - 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 @... - 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...
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... - 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...
- 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... - 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...
- 10:21 Support #1591 (Closed): Compilation of Normaliz
- Mac and Linux now done. I made a new issue for windows/cygwin #1665
14 Feb 2022
- 18:25 Feature #1235 (Closed): FreeModule: get canonical basis
- All done. Closing.
- 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.
- 18:10 Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?
- 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... - 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... - 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... - 11:01 Support #1664 (New): geobucket: documentation
- How can a user discover "geobuckets" and what they are good for?
Improve the documentation!
- 09:59 Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?
- Dowloaded, compiled, (personal-)installed also on windows.
Instructions are good.
Closing
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...
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 ... - 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... - 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...
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... - 14:07 Support #1591: Compilation of Normaliz
- This worked for me:...
- 13:26 Support #1591: Compilation of Normaliz
- Try...
- 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... - 12:38 Support #1591: Compilation of Normaliz
- Did you try following comment 10?
- 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... - 13:29 Support #26: Redmine Administration
- Remember to close (as "admin") the closed releases. (I've just "closed" some old releases)
09 Feb 2022
- 20:20 Bug #1661 (Closed): Microsoft: cannot compile with signal handling
- Bruns reported by email a problem compiling on Microsoft:...
- 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.
... - 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...
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...
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 ... - 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... - 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 ... - 16:25 Feature #958: New function: multiplicity and dim
- Anna Maria Bigatti wrote:
> Yet to be fixed: non homogeneous input.
> (postponed again)
and again
05 Feb 2022
- 20:30 Support #1481 (In Progress): Release CoCoALib 0.99800
- 20:19 Feature #958: New function: multiplicity and dim
- Postpone?
- 20:17 Support #1591: Compilation of Normaliz
- I compiled normaliz on my old MacBook without any problems (following the instructions above, in comment 10).
- 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 ... - 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?
- 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...
- 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).
- 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... - 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...
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!
- 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.
- 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... - 22:11 Support #1591 (Feedback): Compilation of Normaliz
- 21:12 Support #1591: Compilation of Normaliz
- I compiled Normaliz without any problems: here are my notes:...
- 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.
- 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... - 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).
- 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... - 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.
- 21:52 Design #1653 (Closed): Discriminant: return value
- 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... - 21:50 Design #1547 (Closed): Require decimal mode for ostream?
- 21:49 Design #1655: Remove ability to compile CoCoALib against UNINSTALLED gmp?
- *Anna* please check everything is OK on your computer!
- 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. - 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....... - 21:40 Support #618: Instructions for compiling libnormaliz
- *This probably needs changing* after issue #1655.
How does this issue differ from #1591 ?
- 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... - 21:33 Bug #1656 (Closed): SEGV in resultant
- I have added a test to @exbugs.cocoa5@ -- the one given in the description.
Closing.
- 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... - 21:24 Feature #1633 (Closed): Make polynomial multiplication interruptible?
- 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. - 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.
- 21:14 Support #1618 (Closed): Tidy ex-RingElem2
- This has been at 90% for 3 months.
Cannot be bothered to check now. Just closing.
02 Feb 2022
- 20:19 Feature #1635 (In Progress): NR for polys with coeffs in PID
- There is probably an implementation in the "Gbasis over ZZ" package: see issue #1272.
- 11:16 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Oh joy!
Have fun if you decide to document functions whose name contain an underscore: LaTeX gives its usual crypt... - 10:48 Design #1655 (Resolved): Remove ability to compile CoCoALib against UNINSTALLED gmp?
- I have updated the doc, and checked in everything.
Hope Anna can check on her machine soon.
- 10:24 Feature #1657 (New): Improve CertifyNotPower
- In @NumTheory-root.C@ improve the impl of @CertifyNotPower@ to cover case where small prime divides (check multiplic...
31 Jan 2022
- 22:12 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- I have now implemented *@FactorINT@*, *@FactorINT_TrialDiv@* and *@FactorINT_PollardRho@*.
@SmoothFactor@ is now o... - 17:52 Design #1653: Discriminant: return value
- The old impl is still in @coclib.cpkg5@ but renamed to @discriminant_old@. I'll delete it soon (after some more test...
29 Jan 2022
- 17:06 Design #1653 (Resolved): Discriminant: return value
- There are now 2 @resultant@ functions and 2 @discriminant@ functions(in each case with or without specified indet).
... - 17:03 Bug #1656 (Feedback): SEGV in resultant
- The problem was in some unrefined code for computing subresultant sequences.
Now it is more robust.
- 15:22 Bug #1656 (Closed): SEGV in resultant
- A quick way to SEGV:...
28 Jan 2022
- 17:34 Support #1592: Normaliz 3.8.10
- Winfried pointed that I'd made a typo (now fixed).
A new version (normaliz-3.9.2) should be appearing in the near fu... - 12:39 Support #1592 (Closed): Normaliz 3.8.10
- All seems to be fine even with Normaliz-3.9.1.
- 17:30 Design #1653: Discriminant: return value
- Since @resultant@ is closely related to @discriminant@ they should have compatible behaviour.
This includes presumab... - 12:56 Design #1653 (In Progress): Discriminant: return value
- Anna agrees with what I'd like to do.
Should something similar be done for @resultant@ too? - 14:35 Design #1627 (Feedback): Use keyword "delete" for deleted functions
- 13:08 Feature #1633 (Feedback): Make polynomial multiplication interruptible?
- 12:41 Design #1655: Remove ability to compile CoCoALib against UNINSTALLED gmp?
- I have just compiled successfully.
Need to update doc in ExternalLibs-GMP.txt
Anna will check in her machine soo... - 11:03 Design #1655 (In Progress): Remove ability to compile CoCoALib against UNINSTALLED gmp?
- I think the only real change needed is in the script @configuration/gmp-find-hdr.sh@
Perhaps it should print out a h... - 10:45 Design #1655: Remove ability to compile CoCoALib against UNINSTALLED gmp?
- JAA now thinks that what we do is wrong rather than "clever".
Unless AMB objects, we should make this change quickly.
- 10:43 Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?
- This proposal is to modify the configure script so that it does not accept an *uninstalled* GMP.
A use who does not ... - 10:31 Support #1591: Compilation of Normaliz
- I have just checked, and observe that there is now Normaliz 3.9.1.
I shall try compiling.
*UPDATE* Compiled with... - 10:25 Feature #1654: New function IsInSymbols
- Anna, could you please describe more explicitly what you are proposing?
I am not sure I understand from the issue de... - 08:51 Feature #1654 (New): New function IsInSymbols
- We misuse *@AreDistinct@* to test whether a symbol is in a PolyRing.
The advantage is that *@AreDistinct@* sees just... - 10:22 Design #1649 (In Progress): Add file SparsePolyOps-vector.C
- It seems that Anna accidentally reset the progress for this issue... maybe she had two browser tabs on the same issue...
- 09:29 Design #1649: Add file SparsePolyOps-vector.C
- Anna Maria Bigatti wrote:
> syz
even though this was the start of this topic, Syz of a vector should go in submod... - 08:37 Design #1649: Add file SparsePolyOps-vector.C
- I think we should call this SparsePolyOps-VectorRingElem.C, or SparsePolyOps-RingElems.C (too subtle, I fear)
ad... - 08:30 Design #1649: Add file SparsePolyOps-vector.C
- In @SparsePolyOps-RingElem@ we also have:
FindReducerIndex
ReduceActiveLM
reduce
Should these go in @SparsePo... - 08:23 Design #1649: Add file SparsePolyOps-vector.C
- I think we should call this SparsePolyOps-VectorRingElem.C, or SparsePolyOps-RingElems.C (too subtle, I fear)
ad... - 08:00 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- Following KISS strategy, I would avoid (possibly) costly operations: e.g. interreduction, duplicates (think of a mono...
27 Jan 2022
- 19:25 Feature #1652: Add LM to cocoalib ?
- Florian Walsh wrote:
> That makes sense. I was implementing DivAlg which seems to exist only in a cocoa package.
... - 14:19 Feature #1652: Add LM to cocoalib ?
- We really need to come up with a way of making the CoCoALib documentation friendlier.
I am reasonably happy with how... - 14:02 Feature #1652: Add LM to cocoalib ?
- That makes sense. I was implementing DivAlg which seems to exist only in a cocoa package.
I should probably use the ... - 11:55 Feature #1652: Add LM to cocoalib ?
- The reason why we do not have @LM@ in cocoalib is that we prefer not to make it handy ;-)
Sounds like a joke, but ... - 18:43 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- Since we do have some doubts about what exactly "cleaning" means, and whether we like the idea, I propose the followi...
- 18:36 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- After brief consideration, I have decided to keep in this issue discussion related to what "cleaning generators" migh...
- 15:01 Design #1653: Discriminant: return value
- @discriminant@ is actually two functions: univariate inputs, and multivariate input with specified indet.
The multiv... - 14:54 Design #1653 (Closed): Discriminant: return value
- To which ring should the return value of @Discriminant@ belong?...
- 14:24 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- I suggest making @SmoothFactor@ obsolescent, and just forward the call to @FactorINT_TrialDiv@.
I think I prefer @... - 12:29 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- John Abbott wrote:
> * *@FactorINT_TrialDiv(N,pmax)@* trial division upto @pmax@
> Opinions?
maybe just *@Facto...
26 Jan 2022
- 16:11 Feature #1652 (In Progress): Add LM to cocoalib ?
- To compute the leading monomial of a polynomial in cocoalib I need to call ...
- 15:17 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- John Abbott wrote:
> We could also have two ways of creating ideals: _e.g._ @ideal(L)@ and @ideal_DoNotCleanGens(L)@... - 14:19 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- I like the "separate concept" of "generator cleaning", and it would be nice to make it available as a function.
I am... - 14:11 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- I have just spoken to Florian about this issue.
His initial reaction was that he wanted @gens(ideal(L))@ to be an id... - 12:46 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Another proposal:
* *@FactorINT(N,TimeOut)@* tries both @TrialDiv@ and @PollardRho@; maybe also does @IsProbPrime@ ...
Also available in: Atom