Project

General

Profile

Activity

From 26 Jan 2022 to 24 Feb 2022

24 Feb 2022

17:59 CoCoALib 0.25 hour (Design #1669 (New): Review File subtree hierarchy)
Some notes John Abbott
14:23 CoCoA-5 0.10 hour (Support #530 (Rejected): Interpreter error message: "for" with missing "do")
Useful? John Abbott

23 Feb 2022

12:54 CoCoA-5 0.25 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)
Seems OK now John Abbott
12:40 CoCoA-5 0.25 hour (Feature #1596 (Resolved): Add CoCoA5 function NmzHilbertBasisKer)
Return type/value John Abbott
12:37 CoCoA-5 0.50 hour (Design #1194 (Rejected): Rename HilbertBasisKer into LinKerHilbertBasis?)
Anna Maria Bigatti
12:28 CoCoA-5 0.50 hour (Support #1478 (Closed): HilbertBasis: clarify)
Resolved John Abbott
12:07 CoCoA-5 0.40 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)
Seems OK now John Abbott
11:38 CoCoALib 0.20 hour (Design #1528 (Closed): MacOS compilation with clang)
John Abbott
10:24 CoCoALib 8.00 hours (Support #1555 (Closed): Software licence)
Mostly done John Abbott
10:00 CoCoALib 2.00 hours (Design #855 (Closed): Copyright and authorship?)
Mostly done John Abbott

18 Feb 2022

17:40 CoCoA-5 0.20 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
Version number John Abbott
17:16 CoCoA-5 0.20 hour (Support #1455 (Closed): In a release: which files inside the CoCoAManual )
John Abbott
17:15 CoCoA-5 0.10 hour (Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean")
John Abbott
17:13 CoCoA-5 2.00 hours (Support #1451 (Closed): CoCoA Manual: make search keys public)
John Abbott
17:01 CoCoA-5 0.40 hour (Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries)
John Abbott
16:57 CoCoALib 0.10 hour (Feature #1001 (In Progress): CoCoALib: ideas for student projects)
Split? John Abbott
16:55 CoCoA-5 0.20 hour (Support #242 (In Progress): CoCoA-5 Projects for students (e.g. crediti F and tesi))
Split? John Abbott
16:50 CoCoA-5 0.20 hour (Feature #1415 (In Progress): thmproving package)
Anna Maria Bigatti
16:26 CoCoA-5 0.10 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)
Add to pre-release checks? John Abbott
15:34 CoCoA-5 0.20 hour (Support #322 (In Progress): Installation instructions (on website))
For linux John Abbott
15:26 CoCoALib 0.75 hour (Design #581 (Closed): C++14: MachineInt)
Mostly OK John Abbott

17 Feb 2022

20:28 CoCoALib 0.50 hour (Feature #1598 (Closed): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix)
Packages John Abbott
20:07 CoCoALib 0.60 hour (Feature #1598 (Closed): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix)
Obsoleted John Abbott
19:37 CoCoALib 0.20 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis))
KISS? John Abbott

16 Feb 2022

20:45 CoCoALib 0.10 hour (Feature #1580 (Closed): New fn prim for polys)
New issue John Abbott
20:41 CoCoALib 0.10 hour (Design #1528 (Closed): MacOS compilation with clang)
No doc? John Abbott
20:37 CoCoA-5 0.10 hour (Support #1077 (Resolved): Manual: remove old stuff about "devices")
Sooner or later John Abbott
20:33 CoCoA-5 0.10 hour (Design #1504 (Closed): OnlineHelp: XMLFileName)
Close? John Abbott
20:25 CoCoALib 0.10 hour (Support #467 (Closed): Keep CoCoALib web page up to date! All pages!)
Almost done? John Abbott
20:23 CoCoA-5 0.10 hour (Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+)
ANNA! John Abbott
20:21 CoCoA-5 0.10 hour (Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml)
Postponing John Abbott
20:19 CoCoA-5 0.20 hour (Design #1477 (Closed): Packages: questions from Andraschko)
Mostly done John Abbott
20:16 CoCoA-5 0.20 hour (Support #1455 (Closed): In a release: which files inside the CoCoAManual )
Soon find out John Abbott
20:11 CoCoA-5 0.20 hour (Support #1658 (Closed): LinKerZZ not documented)
Closing John Abbott
20:07 CoCoA-5 0.20 hour (Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?)
Closing John Abbott
20:02 CoCoA-5 0.20 hour (Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4))
Testing John Abbott
19:57 CoCoA-5 0.20 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
Closing John Abbott
19:53 CoCoA-5 0.25 hour (Bug #1524 (Closed): wrong SystemCommand exit value)
Reliability John Abbott
19:48 CoCoA-5 0.20 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)
Suggestion John Abbott
19:42 CoCoALib 0.25 hour (Support #1666 (In Progress): MachineInt: chase through ULL changes)
Some notes John Abbott
19:37 CoCoALib 2.50 hours (Design #581 (Closed): C++14: MachineInt)
Act first... think later John Abbott

15 Feb 2022

21:43 CoCoALib 0.60 hour (Design #581 (Closed): C++14: MachineInt)
Ouch! John Abbott
10:49 CoCoALib 0.10 hour (Support #1665 (New): Compilation on Windows: problems for normaliz)
library path John Abbott
10:08 CoCoALib 1.00 hour (Support #1665 (New): Compilation on Windows: problems for normaliz)
Anna Maria Bigatti

14 Feb 2022

18:25 CoCoALib 0.40 hour (Feature #1235 (Closed): FreeModule: get canonical basis)
Done John Abbott
18:22 CoCoALib 0.20 hour (Support #618 (Closed): Instructions for compiling libnormaliz)
Closing John Abbott
18:16 CoCoA-5 0.50 hour (Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier)
Anna Maria Bigatti
17:26 CoCoA-5 0.50 hour (Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries)
Anna Maria Bigatti
17:04 CoCoALib 1.00 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti
09:59 CoCoALib 0.50 hour (Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?)
Anna Maria Bigatti

13 Feb 2022

11:00 CoCoALib 0.60 hour (Design #855 (Closed): Copyright and authorship?)
Done examples John Abbott

11 Feb 2022

18:20 CoCoALib 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")
Options John Abbott
14:36 CoCoALib 1.50 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")
Anna Maria Bigatti
10:55 CoCoALib 0.25 hour (Design #855 (Closed): Copyright and authorship?)
Checked in John Abbott

10 Feb 2022

19:51 CoCoALib 0.75 hour (Design #855 (Closed): Copyright and authorship?)
Progress John Abbott
12:38 CoCoALib 0.10 hour (Support #1591 (Closed): Compilation of Normaliz)
Comment 10? John Abbott
10:59 CoCoALib 0.50 hour (Support #1591 (Closed): Compilation of Normaliz)
Anna Maria Bigatti

09 Feb 2022

20:12 CoCoALib 0.40 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
Mostly done John Abbott
19:43 CoCoALib 0.50 hour (Support #1591 (Closed): Compilation of Normaliz)
N-3.9.2 John Abbott
19:41 CoCoA-5 0.20 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
No longer relevant John Abbott
16:38 CoCoA-5 1.50 hour (Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier)
Anna Maria Bigatti
14:26 CoCoA-5 0.50 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice)
Anna Maria Bigatti

08 Feb 2022

21:25 CoCoALib 1.00 hour (Design #1528 (Closed): MacOS compilation with clang)
Changed John Abbott

07 Feb 2022

19:23 CoCoA-5 1.50 hour (Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier)
Anna Maria Bigatti
18:39 CoCoALib 0.20 hour (Design #1528 (Closed): MacOS compilation with clang)
Quick fix? John Abbott
18:27 CoCoA-5 0.10 hour (Support #1658 (Closed): LinKerZZ not documented)
Name? John Abbott
18:25 CoCoA-5 0.75 hour (Support #1658 (Closed): LinKerZZ not documented)
Doc & debug John Abbott
17:59 CoCoALib 0.50 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)
Anna Maria Bigatti

06 Feb 2022

08:58 CoCoA-5 0.50 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
3 platforms OK John Abbott

05 Feb 2022

21:05 CoCoA-5 0.40 hour (Support #1455 (Closed): In a release: which files inside the CoCoAManual )
Changed John Abbott
20:40 CoCoA-5 0.20 hour (Support #1455 (Closed): In a release: which files inside the CoCoAManual )
Ugly John Abbott
20:19 CoCoALib 0.10 hour (Feature #958 (Resolved): New function: multiplicity and dim)
Postpone? John Abbott
20:17 CoCoALib 0.10 hour (Support #1591 (Closed): Compilation of Normaliz)
MacBook OK John Abbott
20:16 CoCoALib 0.20 hour (Support #26 (In Progress): Redmine Administration)
Update? John Abbott
20:13 CoCoALib 0.25 hour (Support #1612 (Closed): Merge the doc file RadicalMembership.txt into ideal.txt)
Renamed John Abbott
20:05 CoCoALib 0.10 hour (Feature #1645 (In Progress): Implement monic0(f) for the case monic(0)?)
Preference John Abbott
19:41 CoCoALib 0.50 hour (Feature #1235 (Closed): FreeModule: get canonical basis)
Impl John Abbott
17:51 CoCoALib 0.50 hour (Design #1528 (Closed): MacOS compilation with clang)
Experiment John Abbott
13:18 CoCoALib 0.25 hour (Design #1528 (Closed): MacOS compilation with clang)
Mostly OK now John Abbott

04 Feb 2022

22:38 CoCoALib 0.40 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)
Compiles now John Abbott
22:17 CoCoALib 0.25 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)
Renamed John Abbott
22:36 CoCoALib 0.10 hour (Slug #1057 (In Progress): Slug: Polynomial ring contructor slow with (big) matrix ordering)
Still slow John Abbott
22:07 CoCoALib 0.15 hour (Feature #1589 (Closed): IdealOfPoints: allow matrix of points to be defined over "wrong" ring)
Seems OK now John Abbott
22:05 CoCoALib 0.20 hour (Support #1265 (Closed): Unregistered TXT files in doc)
Status? John Abbott
22:00 CoCoALib 0.20 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)
Update doc John Abbott
21:57 CoCoALib 0.15 hour (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach))
How to do this? John Abbott
21:54 CoCoALib 0.10 hour (Design #855 (Closed): Copyright and authorship?)
Long and tedious John Abbott
21:52 CoCoALib 0.10 hour (Design #1653 (Closed): Discriminant: return value)
John Abbott
21:51 CoCoALib 0.10 hour (Support #1555 (Closed): Software licence)
Long and tedious John Abbott
21:50 CoCoALib 0.10 hour (Design #1547 (Closed): Require decimal mode for ostream?)
John Abbott
21:49 CoCoALib 0.10 hour (Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?)
Anna! John Abbott
21:48 CoCoALib 0.15 hour (Design #1625 (Closed): Use new C++ keyword override)
Seems OK now John Abbott
21:44 CoCoALib 0.10 hour (Bug #1601 (Closed): Compilation ambiguity)
Ouch! John Abbott
21:40 CoCoALib 0.20 hour (Support #618 (Closed): Instructions for compiling libnormaliz)
Change? John Abbott
21:37 CoCoALib 0.20 hour (Feature #1488 (Closed): BuiltIn Interreduce-Function)
Still no doc John Abbott
21:33 CoCoALib 0.15 hour (Bug #1656 (Closed): SEGV in resultant)
Added test John Abbott
21:31 CoCoALib 0.15 hour (Slug #1517 (Closed): RandomLinearForm)
Acceptable John Abbott
21:24 CoCoALib 0.10 hour (Feature #1633 (Closed): Make polynomial multiplication interruptible?)
John Abbott
21:23 CoCoALib 0.10 hour (Design #1627 (Closed): Use keyword "delete" for deleted functions)
Good enough John Abbott
21:20 CoCoALib 0.20 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)
Seems OK now John Abbott
21:14 CoCoALib 0.10 hour (Support #1618 (Closed): Tidy ex-RingElem2)
Closing John Abbott
21:12 CoCoALib 0.10 hour (Support #1591 (Closed): Compilation of Normaliz)
OK for me John Abbott
14:34 CoCoA-5 0.40 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
Doc done John Abbott

03 Feb 2022

20:14 CoCoA-5 0.25 hour (Bug #1244 (In Progress): MSatLinSolve: req minor improvements)
Added quick test John Abbott
20:02 CoCoA-5 0.10 hour (Feature #1415 (In Progress): thmproving package)
Status? John Abbott
20:01 CoCoA-5 0.20 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
Postponing John Abbott
19:41 CoCoA-5 0.20 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
Confession? John Abbott
18:51 CoCoA-5 0.20 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
Quickly? John Abbott
19:57 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
Must not lose this John Abbott
19:51 CoCoA-5 0.10 hour (Feature #1549 (In Progress): Add sagbi package)
Either... or... John Abbott
19:48 CoCoA-5 0.10 hour (Design #929 (In Progress): Clean up CoCoALibSupplement)
Tedious John Abbott
19:47 CoCoA-5 0.10 hour (Design #474 (In Progress): Eliminate package BinRepr)
Postponing John Abbott
19:44 CoCoA-5 0.10 hour (Design #1407 (Closed): Tagged values (Hilbert Series))
Feedback John Abbott
19:40 CoCoA-5 0.20 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)
Seems OK now John Abbott
19:37 CoCoA-5 0.20 hour (Bug #1443 (Closed): Illegal instruction)
Closing John Abbott
19:35 CoCoA-5 0.20 hour (Feature #1373 (In Progress): GFan also for Microsoft?)
Hope on the horizon John Abbott
19:32 CoCoA-5 0.10 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice)
Status? John Abbott
19:30 CoCoA-5 0.10 hour (Design #1504 (Closed): OnlineHelp: XMLFileName)
Status? John Abbott
19:28 CoCoA-5 0.10 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)
Status? John Abbott
19:24 CoCoA-5 0.10 hour (Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean")
Status? John Abbott
19:14 CoCoA-5 0.20 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
Proposal John Abbott
16:53 CoCoA-5 0.20 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
The future? John Abbott
19:10 CoCoA-5 0.10 hour (Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4))
Close? John Abbott
19:07 CoCoA-5 0.10 hour (Bug #1552 (New): subst: not checking args properly)
Postponing John Abbott
19:03 CoCoA-5 0.20 hour (Bug #1651 (Closed): SEGV subsets ??)
Closing John Abbott

02 Feb 2022

22:36 CoCoA-5 1.00 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
With modulus John Abbott
20:52 CoCoA-5 0.25 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
Modulus John Abbott
20:17 CoCoA-5 1.60 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
Cleaning John Abbott
16:49 CoCoA-5 0.10 hour (Feature #1272 (Closed): Groebner Bases over ZZ)
Progress? John Abbott
20:19 CoCoALib 0.10 hour (Feature #1635 (In Progress): NR for polys with coeffs in PID)
Maybe already done? John Abbott
11:16 CoCoALib 0.50 hour (Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho)
Oh joy! John Abbott
10:48 CoCoALib 2.00 hours (Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?)
Doc done John Abbott

31 Jan 2022

22:12 CoCoALib 4.00 hours (Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho)
Mostly done John Abbott
17:52 CoCoALib 0.50 hour (Design #1653 (Closed): Discriminant: return value)
Updated doc John Abbott
17:49 CoCoA-5 0.60 hour (Bug #1651 (Closed): SEGV subsets ??)
Changed impl John Abbott

29 Jan 2022

17:06 CoCoALib 2.00 hours (Design #1653 (Closed): Discriminant: return value)
Updated John Abbott
17:03 CoCoALib 0.50 hour (Bug #1656 (Closed): SEGV in resultant)
Fixed John Abbott

28 Jan 2022

17:34 CoCoALib 0.10 hour (Support #1592 (Closed): Normaliz 3.8.10)
Update John Abbott
12:39 CoCoALib 0.10 hour (Support #1592 (Closed): Normaliz 3.8.10)
Closing John Abbott
17:30 CoCoALib 0.20 hour (Design #1653 (Closed): Discriminant: return value)
Status report John Abbott
12:56 CoCoALib 0.20 hour (Design #1653 (Closed): Discriminant: return value)
Also resultant? John Abbott
12:41 CoCoALib 0.20 hour (Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?)
Seems OK now John Abbott
11:03 CoCoALib 0.20 hour (Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?)
Relevant source John Abbott
10:45 CoCoALib 0.25 hour (Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?)
Some notes John Abbott
10:31 CoCoALib 0.10 hour (Support #1591 (Closed): Compilation of Normaliz)
New normaliz John Abbott
10:25 CoCoALib 0.10 hour (Feature #1654 (New): New function IsInSymbols)
Clarify? John Abbott
10:22 CoCoALib 0.20 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Comments John Abbott
08:37 CoCoALib 0.50 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti
08:30 CoCoALib 0.20 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti
08:23 CoCoALib 0.50 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti

27 Jan 2022

18:43 CoCoALib 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
Strategy John Abbott
18:36 CoCoALib 0.25 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
CleanGens John Abbott
15:01 CoCoALib 0.50 hour (Design #1653 (Closed): Discriminant: return value)
Some notes John Abbott
14:52 CoCoA-5 0.10 hour (Feature #1644 (In Progress): Allow user to choose whether to print finite field elems as symm residues or non-neg residue)
Fn names John Abbott
14:27 CoCoA-5 0.10 hour (Support #1650 (In Progress): Potentially confusing prompt: waiting for semicolon)
Suggestion John Abbott
14:24 CoCoALib 0.10 hour (Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho)
Compromise? John Abbott
14:19 CoCoALib 0.10 hour (Feature #1652 (In Progress): Add LM to cocoalib ?)
Good point John Abbott
11:55 CoCoALib 0.20 hour (Feature #1652 (In Progress): Add LM to cocoalib ?)
Anna Maria Bigatti

26 Jan 2022

14:19 CoCoALib 0.10 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
Clean Gens John Abbott
14:11 CoCoALib 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
Another suggestion John Abbott
12:53 CoCoA-5 0.10 hour (Bug #1651 (Closed): SEGV subsets ??)
Ulimit John Abbott
12:46 CoCoALib 0.20 hour (Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho)
Fn names John Abbott
 

Also available in: Atom