⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoA-5
All Projects
CoCoA
»
CoCoA-5
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Spent time
Filters
Add filter
Issue
User
Activity
Comment
Hours
Date
Issue's Tracker
Issue's Status
Issue's Target version
Options
Columns
Available Columns
Project
Week
Tracker
Status
Selected Columns
Date
User
Activity
Issue
Comment
Hours
Group results by
Project
Date
User
Activity
Totals
Hours
Apply
Clear
Details
Report
Hours:
231.23
Date
User
Activity
Issue
Comment
Hours
13 May 2024
John Abbott
Documentation
Design #1508
: Initial ring
Mesg
0.10
13 May 2024
John Abbott
Testing
Design #1508
: Initial ring
Update
0.30
10 May 2024
John Abbott
Discussion
Design #610
: Variable It: assign before or after printing
Closing
0.15
10 May 2024
John Abbott
Discussion
Design #1496
: Use "special" names for variables inside tests
Rejecting
0.20
10 May 2024
John Abbott
Discussion
Support #1650
: Potentially confusing prompt: waiting for semicolon
Discussion
0.10
10 May 2024
John Abbott
Discussion
Support #1650
: Potentially confusing prompt: waiting for semicolon
Another idea
0.10
09 May 2024
John Abbott
Discussion
Support #1650
: Potentially confusing prompt: waiting for semicolon
More thoughts
0.20
08 May 2024
Anna Maria Bigatti
Discussion
Support #1566
: What does rad do?
0.25
05 May 2024
John Abbott
Discussion
Support #1603
: Unhelpful behaviour in "compatibility mode": double error mesg
Ugh!
0.10
05 May 2024
John Abbott
Documentation
Support #1650
: Potentially confusing prompt: waiting for semicolon
Tricky
0.20
05 May 2024
John Abbott
Testing
Support #1566
: What does rad do?
Vanished?
0.10
05 May 2024
John Abbott
Testing
Slug #1760
: Quitting can be slow
Done
0.20
05 May 2024
John Abbott
Discussion
Feature #97
: OpenOFile
Close?
0.10
05 May 2024
John Abbott
Discussion
Design #1508
: Initial ring
Summary
0.30
05 May 2024
John Abbott
Discussion
Design #1496
: Use "special" names for variables inside tests
Puzzled
0.10
05 May 2024
John Abbott
Testing
Bug #1746
: ManExamples target: need to reset VerbosityLevel
Control-M
0.20
05 May 2024
John Abbott
Testing
Design #610
: Variable It: assign before or after printing
Big test
0.10
05 May 2024
John Abbott
Documentation
Design #610
: Variable It: assign before or after printing
Relevant source code
0.40
05 May 2024
John Abbott
Development
Bug #1708
: Linux: just 1 executable, should be 2 (with & without readline)
Progress?
0.10
19 Apr 2024
John Abbott
Design
Bug #1794
: Do not use random inside tests!!
More tests to check
0.25
12 Apr 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Checked in
0.20
07 Apr 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Modified
0.40
28 Mar 2024
Anna Maria Bigatti
Design
Feature #78
: Elim ordering and matrix ordering in CoCoA-5
0.20
26 Mar 2024
John Abbott
Discussion
Feature #1072
: syz: apply to ModuleElem?
Agreed
0.10
26 Mar 2024
Anna Maria Bigatti
Design
Feature #1072
: syz: apply to ModuleElem?
0.20
22 Mar 2024
John Abbott
Design
Feature #78
: Elim ordering and matrix ordering in CoCoA-5
Shortcut
0.20
20 Mar 2024
John Abbott
Debugging
Bug #1794
: Do not use random inside tests!!
Ahhh random!
0.50
18 Mar 2024
John Abbott
Discussion
Feature #823
: NewPolyRing with weights -- better interface?
Name
0.10
18 Mar 2024
John Abbott
Discussion
Feature #1583
: New fn ElapsedTimeFrom?
Not convinced
0.10
18 Mar 2024
John Abbott
Discussion
Support #1603
: Unhelpful behaviour in "compatibility mode": double error mesg
Won't fix?
0.10
18 Mar 2024
John Abbott
Discussion
Support #1650
: Potentially confusing prompt: waiting for semicolon
Mmmm
0.20
18 Mar 2024
John Abbott
Discussion
Feature #1701
: Preliminary packages
Documentation
0.20
18 Mar 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Suggestion
0.20
18 Mar 2024
Anna Maria Bigatti
Documentation
Feature #823
: NewPolyRing with weights -- better interface?
0.50
17 Mar 2024
John Abbott
Development
Bug #1795
: Makefile problem: needlessly relinks CoCoAInterpreter
Maybe solved
0.50
16 Mar 2024
John Abbott
Discussion
Bug #1795
: Makefile problem: needlessly relinks CoCoAInterpreter
Some notes
0.20
16 Mar 2024
John Abbott
Testing
Bug #1794
: Do not use random inside tests!!
Some notes
0.25
11 Mar 2024
Anna Maria Bigatti
Discussion
Feature #1671
: Refactor C++ impl in OnlineHelp
0.20
07 Mar 2024
John Abbott
Design
Feature #1671
: Refactor C++ impl in OnlineHelp
Remove dependency on CoCoALib
0.20
09 Feb 2024
Anna Maria Bigatti
Debugging
Bug #1781
: GenReprCompute: SERIOUS ERROR
0.50
09 Feb 2024
Anna Maria Bigatti
Debugging
Bug #1781
: GenReprCompute: SERIOUS ERROR
0.25
22 Jan 2024
John Abbott
Development
Feature #368
: port SmithNormalForm (CoCoA-4)package to CoCoA-5
Passau code
0.20
19 Jan 2024
John Abbott
Discussion
Design #1626
: NewMat: should be obsolescent?
Revised manual
0.40
19 Jan 2024
Anna Maria Bigatti
Development
Bug #1623
: EmacsUI: annoying colours
0.50
19 Jan 2024
Anna Maria Bigatti
Development
Bug #1623
: EmacsUI: annoying colours
0.75
19 Jan 2024
Anna Maria Bigatti
Design
Bug #1623
: EmacsUI: annoying colours
0.20
16 Jan 2024
John Abbott
Discussion
Bug #1623
: EmacsUI: annoying colours
Another variant
0.20
15 Jan 2024
John Abbott
Discussion
Bug #1623
: EmacsUI: annoying colours
Reactivate?
0.10
15 Jan 2024
John Abbott
Discussion
Design #1626
: NewMat: should be obsolescent?
Obsolete or BackwardCompatible?
0.10
15 Jan 2024
John Abbott
Design
Feature #1541
: foreach with ref to list entry?
Might be tricky
0.20
04 Jan 2024
John Abbott
Design
Design #1041
: Separators for elements of a list
Re-awaken
0.20
22 Dec 2023
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Closing
0.10
22 Dec 2023
John Abbott
Testing
Bug #1746
: ManExamples target: need to reset VerbosityLevel
Mostly OK
0.20
22 Dec 2023
John Abbott
Testing
Slug #1629
: RingElem slow with many indets
Closing
0.25
22 Dec 2023
John Abbott
Testing
Bug #1745
: Printing of Hilbert series via indent
Closing
0.20
22 Dec 2023
John Abbott
Design
Feature #1718
: FactorINT with time-out
Disabled time-out
0.25
22 Dec 2023
John Abbott
Testing
Design #1075
: LaTeX package: power-product printing
KISS
0.20
22 Dec 2023
John Abbott
Discussion
Feature #1112
: New function: IsEmpty
Closing
0.15
22 Dec 2023
John Abbott
Discussion
Feature #823
: NewPolyRing with weights -- better interface?
Name?
0.10
22 Dec 2023
John Abbott
Design
Design #1681
: Should Starting be case-insensitive?
Case-insensitive string comparison?
0.10
22 Dec 2023
John Abbott
Testing
Design #1681
: Should Starting be case-insensitive?
Minor buglet
0.20
22 Dec 2023
John Abbott
Testing
Bug #1766
: Emacs 29: Removal of obsolete entries
Ask Nico
0.10
22 Dec 2023
Anna Maria Bigatti
Design
Feature #823
: NewPolyRing with weights -- better interface?
0.25
30 Nov 2023
Anna Maria Bigatti
Development
Support #1636
: Missing/Incomplete manual entries
2.00
29 Nov 2023
John Abbott
Documentation
Support #1636
: Missing/Incomplete manual entries
Lots to do
0.10
29 Nov 2023
John Abbott
Documentation
Support #1636
: Missing/Incomplete manual entries
A start
0.60
28 Nov 2023
John Abbott
Discussion
Design #1772
: Continued fraction: arg type RAT or RAT/INT?
Some notes
0.50
25 Oct 2023
John Abbott
Development
Bug #1766
: Emacs 29: Removal of obsolete entries
Checked in
0.20
18 Oct 2023
John Abbott
Design
Bug #1766
: Emacs 29: Removal of obsolete entries
Brief
0.25
06 Aug 2023
John Abbott
Development
Slug #1760
: Quitting can be slow
First prototype
0.50
05 Aug 2023
John Abbott
Discussion
Slug #1760
: Quitting can be slow
Ought to be easy?
0.20
29 Jun 2023
John Abbott
Design
Feature #823
: NewPolyRing with weights -- better interface?
More comments
0.50
27 Jun 2023
John Abbott
Development
Support #1675
: Version 5.4.0 requires Visual C++ Runtime 2013 on Windows
Update
0.10
23 Jun 2023
John Abbott
Testing
Bug #1746
: ManExamples target: need to reset VerbosityLevel
Done?
0.10
23 May 2023
John Abbott
Discussion
Bug #1745
: Printing of Hilbert series via indent
In a list
0.25
23 May 2023
Anna Maria Bigatti
Development
Bug #1745
: Printing of Hilbert series via indent
0.50
22 May 2023
John Abbott
Development
Bug #1745
: Printing of Hilbert series via indent
Fixed
0.75
19 May 2023
John Abbott
Discussion
Slug #1629
: RingElem slow with many indets
Feedback?
0.10
16 May 2023
John Abbott
Testing
Slug #1629
: RingElem slow with many indets
OK
0.10
15 May 2023
John Abbott
Testing
Slug #1629
: RingElem slow with many indets
Not up-to-date?
0.20
12 May 2023
Anna Maria Bigatti
Design
Slug #1629
: RingElem slow with many indets
0.25
12 May 2023
Anna Maria Bigatti
Testing
Slug #1629
: RingElem slow with many indets
1.00
11 May 2023
Anna Maria Bigatti
Testing
Slug #1629
: RingElem slow with many indets
0.25
10 May 2023
John Abbott
Documentation
Support #1741
: Documentation/Manual for HilbertFn
Simpler
0.25
10 May 2023
John Abbott
Testing
Support #1741
: Documentation/Manual for HilbertFn
Example is right
0.25
08 May 2023
John Abbott
Documentation
Support #1079
: CoCoAManual: AffHilbertFn accepts also ideal (correct?)
Status?
0.20
12 Apr 2023
Anna Maria Bigatti
Debugging
Bug #1734
: Fix call to HilbertPoly in test/TutHokkaido5
1.00
15 Mar 2023
Anna Maria Bigatti
Documentation
Design #1698
: indent: return a string?
0.25
15 Mar 2023
Anna Maria Bigatti
Testing
Feature #1112
: New function: IsEmpty
0.25
15 Mar 2023
Anna Maria Bigatti
Testing
Feature #1112
: New function: IsEmpty
0.25
14 Mar 2023
John Abbott
Testing
Feature #1112
: New function: IsEmpty
Another test
0.10
14 Mar 2023
John Abbott
Discussion
Feature #1112
: New function: IsEmpty
Conclusion?
0.40
14 Mar 2023
John Abbott
Design
Feature #1718
: FactorINT with time-out
O or o?
0.10
14 Mar 2023
John Abbott
Discussion
Design #1075
: LaTeX package: power-product printing
Agreed
0.25
14 Mar 2023
John Abbott
Documentation
Bug #1171
: RealRoots: first point is sometimes wrong?
Better doc helps
0.20
14 Mar 2023
John Abbott
Design
Design #1477
: Packages: questions from Andraschko
Closing
0.20
14 Mar 2023
John Abbott
Testing
Feature #1587
: Multiline string literals (again)
Closing
0.25
14 Mar 2023
John Abbott
Documentation
Design #1698
: indent: return a string?
Manual
0.25
14 Mar 2023
John Abbott
Discussion
Feature #1718
: FactorINT with time-out
Fn name?
0.10
14 Mar 2023
Anna Maria Bigatti
Documentation
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
0.25
10 Mar 2023
John Abbott
Design
Design #1075
: LaTeX package: power-product printing
Latex spacing
0.10
10 Mar 2023
John Abbott
Design
Design #1075
: LaTeX package: power-product printing
backslash
0.25
10 Mar 2023
John Abbott
Discussion
Feature #7
: Automatic mapping between (some) rings
Status?
0.20
09 Mar 2023
John Abbott
Testing
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
Changed err mesg
0.10
09 Mar 2023
John Abbott
Development
Design #1477
: Packages: questions from Andraschko
Status
0.40
09 Mar 2023
John Abbott
Testing
Bug #1695
: boost-find-lib.sh
0.10
09 Mar 2023
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
0.15
09 Mar 2023
John Abbott
Discussion
Feature #1718
: FactorINT with time-out
No comments
0.20
07 Mar 2023
John Abbott
Discussion
Support #1675
: Version 5.4.0 requires Visual C++ Runtime 2013 on Windows
Erm
0.25
27 Feb 2023
John Abbott
Development
Design #1681
: Should Starting be case-insensitive?
Revised code
0.30
27 Feb 2023
John Abbott
Discussion
Design #1681
: Should Starting be case-insensitive?
Both?
0.10
27 Feb 2023
Anna Maria Bigatti
Development
Feature #1724
: New function: AdjacentMinors
0.50
14 Feb 2023
John Abbott
Development
Support #1688
: Release CoCoA 5.4.2
Vietnam
0.10
14 Feb 2023
John Abbott
Testing
Design #1698
: indent: return a string?
Checked in?
0.10
01 Jan 2023
John Abbott
Testing
Design #1698
: indent: return a string?
Checked in?
0.10
01 Jan 2023
John Abbott
Development
Feature #1718
: FactorINT with time-out
Almost done
2.00
16 Dec 2022
John Abbott
Design
Feature #1718
: FactorINT with time-out
Some notes
1.50
14 Dec 2022
John Abbott
Documentation
Design #1697
: Specifying BOOST in configure
Major update
1.50
14 Dec 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Added test
0.25
14 Dec 2022
John Abbott
Testing
Bug #1717
: CRASH: equality test to a FUNCTION
Closing
0.25
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
Found something dodgy
0.50
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
More info
0.20
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
Relevant source
0.20
30 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Revised release script
1.50
30 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Proposal
0.20
28 Nov 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Oh joy!
0.50
26 Nov 2022
John Abbott
Debugging
Bug #1714
: IsDivisible error (in QuotRing)
Got it!
1.00
26 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Different error
0.25
24 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Also char 0
0.10
24 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Simpler
0.10
24 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Some notes
0.25
23 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Bounced
0.20
23 Nov 2022
John Abbott
Documentation
Support #1393
: GUI with Qt5
paper-shuffling
0.25
23 Nov 2022
John Abbott
Development
Bug #1695
: boost-find-lib.sh
Resolved?
0.25
23 Nov 2022
John Abbott
Testing
Design #1697
: Specifying BOOST in configure
New configure system solves this?
0.25
16 Nov 2022
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Some notes
0.20
07 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Licence
0.20
04 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Simpler?
0.25
04 Nov 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Ouch!
0.50
02 Nov 2022
John Abbott
Discussion
Bug #1708
: Linux: just 1 executable, should be 2 (with & without readline)
Some notes
0.25
24 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Wow!
0.10
21 Oct 2022
John Abbott
Development
Feature #1701
: Preliminary packages
New dir
0.40
21 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some thoughts
0.25
19 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.50
17 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some notes
0.40
17 Oct 2022
John Abbott
Development
Design #1568
: RMap and image: obsolescent?
Progress?
0.10
17 Oct 2022
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
New students
0.20
17 Oct 2022
John Abbott
Discussion
Feature #1373
: GFan also for Microsoft?
Nico Mexis
0.10
14 Oct 2022
Anna Maria Bigatti
Documentation
Design #1697
: Specifying BOOST in configure
2.00
11 Oct 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Must wait
0.10
10 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
0.30
07 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Quick!
0.10
07 Oct 2022
John Abbott
Discussion
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Status report
0.10
07 Oct 2022
John Abbott
Discussion
Slug #750
: C5 GUI: very slow when printing many short lines
Closing
0.40
06 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Tests
0.20
06 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Test script
0.20
06 Oct 2022
John Abbott
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Free module names
0.20
05 Oct 2022
Anna Maria Bigatti
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
0.10
05 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.25
30 Sep 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Undecided
0.25
28 Sep 2022
John Abbott
Development
Design #1698
: indent: return a string?
Prototype
0.40
28 Sep 2022
John Abbott
Testing
Bug #1604
: SqFreeFactor crashes over non-perfect field
Status report
0.25
27 Sep 2022
John Abbott
Discussion
Design #1698
: indent: return a string?
Some notes
0.30
27 Sep 2022
John Abbott
Documentation
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Document?
0.10
27 Sep 2022
John Abbott
Testing
Slug #750
: C5 GUI: very slow when printing many short lines
Update
0.50
27 Sep 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Release
0.20
26 Sep 2022
Anna Maria Bigatti
Discussion
Feature #461
: New keyword "|->"? (same as "return")
discussion
1.00
26 Sep 2022
John Abbott
Discussion
Feature #461
: New keyword "|->"? (same as "return")
Reject?
0.10
15 Sep 2022
John Abbott
Design
Design #1697
: Specifying BOOST in configure
Renaming
0.50
15 Sep 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Almost done
0.20
22 Aug 2022
John Abbott
Design
Design #1697
: Specifying BOOST in configure
Name?
0.20
22 Aug 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
MacOS
0.40
18 Aug 2022
John Abbott
Testing
Slug #750
: C5 GUI: very slow when printing many short lines
Confirmed
0.25
18 Aug 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Version
0.25
18 Aug 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Apparently just filesystem
0.50
18 Aug 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Some notes
0.50
16 Aug 2022
John Abbott
Debugging
Bug #1695
: boost-find-lib.sh
Some notes
0.50
13 Jun 2022
John Abbott
Documentation
Support #1688
: Release CoCoA 5.4.2
Main changes
0.10
09 Jun 2022
John Abbott
Documentation
Support #1686
: Manual entry for random (see also)
Some notes
0.40
31 May 2022
John Abbott
Documentation
Support #1663
: GCDList not documented
Some notes
0.10
20 Apr 2022
John Abbott
Design
Design #1679
: BuiltinFunctions-GFan includes normaliz?!?
Some notes
0.25
13 Apr 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Copyright
0.25
10 Apr 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Checked in
1.50
17 Mar 2022
Ulrich von der Ohe
Development
Support #1393
: GUI with Qt5
3.00
16 Mar 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Checked in
1.00
12 Mar 2022
John Abbott
Design
Support #1393
: GUI with Qt5
Why?
0.10
12 Mar 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Works for me
0.40
07 Mar 2022
Anna Maria Bigatti
Discussion
Slug #1629
: RingElem slow with many indets
0.50
03 Mar 2022
Ulrich von der Ohe
Debugging
Support #1393
: GUI with Qt5
std::thread
1.00
03 Mar 2022
Ulrich von der Ohe
Debugging
Support #1393
: GUI with Qt5
Don't really recall how many hours it took. According to old emails, I worked on it over the course of three to four days in 2019 for CoCoALib 0.99601 and somehow couldn't get it to work with 0.99650. It took a couple of hours doing everything from scratch for 0.99718 in 2022.
24.00
25 Feb 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
It works!
4.00
18 Feb 2022
John Abbott
Documentation
Support #242
: CoCoA-5 Projects for students (e.g. crediti F and tesi)
Split?
0.20
18 Feb 2022
Anna Maria Bigatti
Documentation
Feature #1415
: thmproving package
0.20
18 Feb 2022
John Abbott
Documentation
Support #322
: Installation instructions (on website)
For linux
0.20
16 Feb 2022
John Abbott
Testing
Support #1534
: Install CoCoA-5 on MacOS-10.15+
ANNA!
0.10
16 Feb 2022
John Abbott
Documentation
Design #1477
: Packages: questions from Andraschko
Mostly done
0.20
09 Feb 2022
Anna Maria Bigatti
Testing
Bug #946
: Function "ideal" evaluates the argument twice
0.50
03 Feb 2022
John Abbott
Design
Bug #1244
: MSatLinSolve: req minor improvements
Added quick test
0.25
03 Feb 2022
John Abbott
Documentation
Feature #1415
: thmproving package
Status?
0.10
03 Feb 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Must not lose this
0.10
03 Feb 2022
John Abbott
Documentation
Feature #1549
: Add sagbi package
Either... or...
0.10
03 Feb 2022
John Abbott
Development
Design #929
: Clean up CoCoALibSupplement
Tedious
0.10
03 Feb 2022
John Abbott
Development
Design #474
: Eliminate package BinRepr
Postponing
0.10
03 Feb 2022
John Abbott
Development
Feature #1373
: GFan also for Microsoft?
Hope on the horizon
0.20
03 Feb 2022
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Status?
0.10
03 Feb 2022
John Abbott
Design
Bug #1552
: subst: not checking args properly
Postponing
0.10
27 Jan 2022
John Abbott
Design
Feature #1644
: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
Fn names
0.10
27 Jan 2022
John Abbott
Documentation
Support #1650
: Potentially confusing prompt: waiting for semicolon
Suggestion
0.10
21 Jan 2022
John Abbott
Design
Feature #1644
: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
Fn names
0.20
21 Jan 2022
John Abbott
Testing
Bug #1640
: MinSubsetOfGens does not find min subset
Closing
0.33
20 Jan 2022
John Abbott
Testing
Bug #1640
: MinSubsetOfGens does not find min subset
Possible test case?
0.20
20 Jan 2022
John Abbott
Design
Feature #1644
: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
Documentation
0.15
13 Jan 2022
John Abbott
Design
Feature #1644
: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
Not entirely simple
0.20
13 Jan 2022
John Abbott
Design
Feature #1644
: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
Some notes
0.20
10 Dec 2021
Anna Maria Bigatti
Development
Bug #1640
: MinSubsetOfGens does not find min subset
0.50
08 Dec 2021
John Abbott
Documentation
Bug #1640
: MinSubsetOfGens does not find min subset
Explain better
0.10
08 Dec 2021
John Abbott
Debugging
Bug #1640
: MinSubsetOfGens does not find min subset
Some notes
0.50
07 Dec 2021
John Abbott
Testing
Bug #1639
: RealRoots: crashes after interrupting
Some notes
0.25
06 Dec 2021
John Abbott
Discussion
Slug #1638
: MinSubsetOfGens sometimes very slow
Some notes
0.20
26 Nov 2021
John Abbott
Design
Bug #1104
: Eigenvectors: inconsistent return type
More notes
0.25
26 Nov 2021
John Abbott
Discussion
Slug #1629
: RingElem slow with many indets
Ideas
3.00
26 Nov 2021
Anna Maria Bigatti
Discussion
Slug #1629
: RingElem slow with many indets
skype discussion investigation
0.50
26 Nov 2021
John Abbott
Testing
Slug #1629
: RingElem slow with many indets
Simpler test
0.20
13 Nov 2021
John Abbott
Design
Design #1631
: Use filesystem::path instead of string (packageDir, CoCoAManFileName)
packageDir
0.20
13 Nov 2021
John Abbott
Design
Bug #1104
: Eigenvectors: inconsistent return type
Which is right?
0.20
12 Nov 2021
John Abbott
Discussion
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Still a problem?
0.10
12 Nov 2021
John Abbott
Testing
Feature #1616
: UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
0.10
12 Nov 2021
John Abbott
Discussion
Design #1631
: Use filesystem::path instead of string (packageDir, CoCoAManFileName)
C++17
0.20
12 Nov 2021
John Abbott
Design
Design #1496
: Use "special" names for variables inside tests
After discussion
0.40
10 Nov 2021
John Abbott
Development
Design #1496
: Use "special" names for variables inside tests
First version
0.20
10 Nov 2021
John Abbott
Design
Bug #1604
: SqFreeFactor crashes over non-perfect field
Postponing
0.10
08 Nov 2021
John Abbott
Design
Bug #1104
: Eigenvectors: inconsistent return type
Get started
0.10
05 Nov 2021
Anna Maria Bigatti
Discussion
Design #1568
: RMap and image: obsolescent?
0.50
05 Nov 2021
John Abbott
Testing
Design #1568
: RMap and image: obsolescent?
Commented out
0.25
04 Nov 2021
John Abbott
Testing
Bug #1320
: CoCoA-5 manual: incorrect empty line in syntax box (in PDF file)
Still a problem
0.10
04 Nov 2021
John Abbott
Design
Bug #1623
: EmacsUI: annoying colours
Readability
0.25
04 Nov 2021
John Abbott
Design
Design #610
: Variable It: assign before or after printing
Swap?
0.10
30 Oct 2021
John Abbott
Testing
Bug #1502
: SystemCommand in Microsoft version
Clue city
2.00
20 Oct 2021
John Abbott
Development
Feature #1616
: UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
Checked in
0.10
20 Oct 2021
John Abbott
Development
Feature #1616
: UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
Almost done
0.50
18 Oct 2021
John Abbott
Design
Bug #1623
: EmacsUI: annoying colours
Some notes
0.20
18 Oct 2021
John Abbott
Documentation
Support #1621
: Doc for the various BuiltIn files
Target
0.20
12 Oct 2021
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Check!
0.10
12 Oct 2021
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
Improved
0.10
12 Oct 2021
John Abbott
Testing
Slug #1581
: Slow sqfr: rad(f)
Still a problem
0.25
12 Oct 2021
John Abbott
Development
Feature #1415
: thmproving package
News?
0.10
05 Oct 2021
John Abbott
Design
Design #1568
: RMap and image: obsolescent?
Boosting priority
0.10
24 Sep 2021
John Abbott
Design
Bug #1574
: ApproxSolveTF
Accuracy check loop?
0.10
24 Sep 2021
John Abbott
Testing
Bug #1573
: ApproxSolve: very imprecise
Surprise!
0.20
24 Sep 2021
John Abbott
Testing
Bug #1539
: Website: installation instructions for Microsoft
Imminent testing
0.10
24 Sep 2021
John Abbott
Documentation
Feature #1293
: Vim Plugin for CoCoA
Advertise
0.10
24 Sep 2021
John Abbott
Documentation
Bug #1573
: ApproxSolve: very imprecise
Doc
0.50
16 Sep 2021
John Abbott
Design
Bug #1573
: ApproxSolve: very imprecise
Some notes
0.25
30 Jul 2021
Anna Maria Bigatti
Debugging
Bug #946
: Function "ideal" evaluates the argument twice
1.00
30 Jul 2021
Anna Maria Bigatti
Debugging
Bug #946
: Function "ideal" evaluates the argument twice
1.00
30 Jul 2021
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
To check
0.10
30 Jul 2021
John Abbott
Design
Bug #1604
: SqFreeFactor crashes over non-perfect field
Not yet fixed
0.25
30 Jul 2021
Anna Maria Bigatti
Discussion
Bug #946
: Function "ideal" evaluates the argument twice
2.00
29 Jul 2021
John Abbott
Debugging
Bug #1604
: SqFreeFactor crashes over non-perfect field
Correction
1.00
28 Jul 2021
John Abbott
Debugging
Bug #1604
: SqFreeFactor crashes over non-perfect field
Update
1.50
03 Jul 2021
John Abbott
Development
Design #1477
: Packages: questions from Andraschko
0.50
02 Jul 2021
John Abbott
Development
Bug #946
: Function "ideal" evaluates the argument twice
Almost done
0.50
02 Jul 2021
John Abbott
Development
Bug #946
: Function "ideal" evaluates the argument twice
New fn
0.40
21 Jun 2021
John Abbott
Design
Feature #1587
: Multiline string literals (again)
Decisions, decisions
0.50
10 Jun 2021
Anna Maria Bigatti
Discussion
Design #1568
: RMap and image: obsolescent?
0.50
10 Jun 2021
Anna Maria Bigatti
Testing
Design #1568
: RMap and image: obsolescent?
0.50
01 Jun 2021
Anna Maria Bigatti
Development
Slug #31
: theValue makes copy
1.50
29 May 2021
John Abbott
Discussion
Slug #31
: theValue makes copy
Oops
0.10
28 May 2021
John Abbott
Design
Feature #1112
: New function: IsEmpty
Connection?
0.10
28 May 2021
John Abbott
Discussion
Slug #31
: theValue makes copy
Next
0.25
28 May 2021
Anna Maria Bigatti
Discussion
Slug #31
: theValue makes copy
0.20
27 May 2021
John Abbott
Design
Design #1041
: Separators for elements of a list
Tidying
0.25
19 Apr 2021
John Abbott
Testing
Support #448
: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
Andraschko?
0.10
19 Apr 2021
John Abbott
Design
Feature #1372
: New function: find ?
More thoughts
0.30
05 Apr 2021
John Abbott
Design
Feature #1587
: Multiline string literals (again)
New version of "fold"?
0.10
05 Apr 2021
John Abbott
Design
Feature #1587
: Multiline string literals (again)
More thoughts
0.10
05 Apr 2021
John Abbott
Design
Feature #1587
: Multiline string literals (again)
ConcatStr
0.10
02 Apr 2021
John Abbott
Design
Feature #1587
: Multiline string literals (again)
Motivation
0.20
02 Apr 2021
John Abbott
Design
Feature #1587
: Multiline string literals (again)
Some notes
0.20
19 Mar 2021
John Abbott
Design
Feature #1583
: New fn ElapsedTimeFrom?
Some notes
0.20
19 Mar 2021
Anna Maria Bigatti
Testing
Feature #1112
: New function: IsEmpty
0.50
15 Mar 2021
John Abbott
Testing
Feature #368
: port SmithNormalForm (CoCoA-4)package to CoCoA-5
Unexpected error
0.50
04 Mar 2021
John Abbott
Debugging
Slug #1581
: Slow sqfr: rad(f)
Origin
0.50
02 Mar 2021
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Quick
0.20
02 Mar 2021
John Abbott
Testing
Bug #1502
: SystemCommand in Microsoft version
Andraschko
0.10
01 Mar 2021
John Abbott
Documentation
Bug #1171
: RealRoots: first point is sometimes wrong?
Changed doc
0.30
22 Feb 2021
John Abbott
Design
Bug #1171
: RealRoots: first point is sometimes wrong?
Mimic ApproxSolve?
0.20
19 Feb 2021
John Abbott
Testing
Feature #1112
: New function: IsEmpty
Slower than hoped
0.25
18 Feb 2021
John Abbott
Development
Feature #1112
: New function: IsEmpty
First impl
0.20
18 Feb 2021
John Abbott
Development
Design #474
: Eliminate package BinRepr
Into C++
0.10
17 Feb 2021
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Some progress
1.50
16 Feb 2021
John Abbott
Development
Bug #946
: Function "ideal" evaluates the argument twice
Maybe?
0.50
16 Feb 2021
John Abbott
Debugging
Bug #1574
: ApproxSolveTF
Odd code
0.40
12 Feb 2021
John Abbott
Testing
Feature #723
: Referring to indets with multiple indices from a polyring
Slow
0.20
12 Feb 2021
John Abbott
Testing
Support #1252
: ShapeLemma: no manual entry
Status?
0.10
12 Feb 2021
John Abbott
Development
Bug #1573
: ApproxSolve: very imprecise
Improved
2.50
03 Feb 2021
John Abbott
Testing
Bug #1574
: ApproxSolveTF
Some notes
0.25
30 Jan 2021
John Abbott
Testing
Bug #1573
: ApproxSolve: very imprecise
Some notes
0.50
11 Jan 2021
John Abbott
Design
Bug #1560
: elim for modules
Some notes
0.20
08 Jan 2021
Anna Maria Bigatti
Design
Slug #1556
: DivAlg slower than NR
0.20
22 Dec 2020
John Abbott
Testing
Slug #1556
: DivAlg slower than NR
Timings
0.10
22 Dec 2020
John Abbott
Testing
Slug #1556
: DivAlg slower than NR
Verified
0.25
13 Dec 2020
John Abbott
Debugging
Bug #1552
: subst: not checking args properly
Some notes
0.25
13 Dec 2020
John Abbott
Documentation
Design #1551
: Emacs: avoid making buffer visible in 2 "windows"?
Some notes
0.25
11 Dec 2020
Anna Maria Bigatti
Design
Design #1545
: CoeffOfTerm: in CoCoALibSupplement
0.25
11 Dec 2020
Anna Maria Bigatti
Design
Design #1544
: CoCoA coding conventions for parser/interprer?
0.25
01 Dec 2020
John Abbott
Design
Feature #1541
: foreach with ref to list entry?
Some notes
0.20
20 Nov 2020
Anna Maria Bigatti
Development
Bug #1539
: Website: installation instructions for Microsoft
0.25
20 Nov 2020
Anna Maria Bigatti
Development
Bug #1539
: Website: installation instructions for Microsoft
0.25
20 Nov 2020
John Abbott
Documentation
Bug #1539
: Website: installation instructions for Microsoft
Andraschko
0.10
17 Nov 2020
John Abbott
Documentation
Support #322
: Installation instructions (on website)
Emacs on MacOS
0.25
13 Nov 2020
John Abbott
Testing
Support #1534
: Install CoCoA-5 on MacOS-10.15+
For Anna
0.20
13 Nov 2020
John Abbott
Testing
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Some notes
0.50
12 Nov 2020
John Abbott
Design
Feature #1535
: New functions: argmin, argmax
Motivation
0.20
11 Nov 2020
John Abbott
Design
Feature #1535
: New functions: argmin, argmax
CamelCase?
0.10
11 Nov 2020
John Abbott
Design
Feature #1535
: New functions: argmin, argmax
In CoCoALib?
0.10
11 Nov 2020
John Abbott
Development
Feature #1535
: New functions: argmin, argmax
Prototype
0.30
06 Nov 2020
John Abbott
Design
Design #1533
: RingElem and IndetSymbols not compatible
Some notes
0.10
06 Nov 2020
John Abbott
Design
Design #1533
: RingElem and IndetSymbols not compatible
Some notes
0.20
03 Nov 2020
John Abbott
Documentation
Feature #1293
: Vim Plugin for CoCoA
Now?
0.10
27 Oct 2020
John Abbott
Development
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
Changed impl
0.20
27 Oct 2020
John Abbott
Development
Feature #7
: Automatic mapping between (some) rings
Todo list
0.25
27 Oct 2020
John Abbott
Design
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
Not yet
0.20
27 Oct 2020
John Abbott
Documentation
Feature #7
: Automatic mapping between (some) rings
Master issue
0.25
26 Oct 2020
John Abbott
Design
Design #1508
: Initial ring
Idea
0.20
26 Oct 2020
John Abbott
Development
Design #1519
: Interpreter fn Value::from can use std::move?
More notes
0.10
23 Oct 2020
John Abbott
Design
Design #1508
: Initial ring
Good suggestion
0.25
23 Oct 2020
Anna Maria Bigatti
Design
Design #1508
: Initial ring
0.50
22 Oct 2020
John Abbott
Testing
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
Correction
0.20
19 Oct 2020
John Abbott
Debugging
Design #1508
: Initial ring
Source code
0.20
19 Oct 2020
John Abbott
Design
Design #1508
: Initial ring
More thoughts
0.10
13 Oct 2020
John Abbott
Design
Design #1508
: Initial ring
Some notes
0.25
09 Oct 2020
John Abbott
Documentation
Feature #1293
: Vim Plugin for CoCoA
Suggestion
0.20
08 Oct 2020
John Abbott
Design
Feature #1503
: More flexible ring creation syntax (after use or ::=)
How limited?
0.10
08 Oct 2020
John Abbott
Design
Feature #1503
: More flexible ring creation syntax (after use or ::=)
Some notes
0.25
08 Oct 2020
John Abbott
Documentation
Feature #1293
: Vim Plugin for CoCoA
Release?
0.10
08 Oct 2020
John Abbott
Design
Bug #1502
: SystemCommand in Microsoft version
Some notes
0.40
02 Oct 2020
John Abbott
Development
Design #1496
: Use "special" names for variables inside tests
List of tests
0.10
02 Oct 2020
John Abbott
Design
Design #1496
: Use "special" names for variables inside tests
Some notes
0.20
30 Sep 2020
John Abbott
Design
Design #1477
: Packages: questions from Andraschko
To discuss...
0.20
28 Sep 2020
John Abbott
Debugging
Support #1486
: Emacs UI: indentation in a package
Where
0.25
17 Sep 2020
John Abbott
Testing
Feature #1415
: thmproving package
News?
0.10
14 Sep 2020
John Abbott
Design
Support #1486
: Emacs UI: indentation in a package
Some notes
0.20
11 Aug 2020
John Abbott
Documentation
Support #1480
: Documentation for making ring with parameters
0.20
10 Aug 2020
John Abbott
Documentation
Design #1477
: Packages: questions from Andraschko
From JSAG
0.20
10 Aug 2020
John Abbott
Documentation
Design #1477
: Packages: questions from Andraschko
Better doc
0.20
10 Aug 2020
John Abbott
Design
Design #1477
: Packages: questions from Andraschko
IsDefined
0.25
10 Aug 2020
John Abbott
Design
Bug #1475
: HilbertSeries: make into proper rational function
Some notes
0.20
10 Aug 2020
John Abbott
Testing
Design #1477
: Packages: questions from Andraschko
Some notes
0.20
06 Aug 2020
John Abbott
Design
Feature #1476
: Lin alg with polys
Some notes
0.20
06 Aug 2020
John Abbott
Design
Bug #1475
: HilbertSeries: make into proper rational function
Some notes
0.20
06 Aug 2020
John Abbott
Documentation
Support #1474
: Website: link to JSAG?
Some notes
0.25
25 Jun 2020
John Abbott
Design
Feature #1469
: Get indexed indets from a polyring
Also in C++
0.10
25 Jun 2020
John Abbott
Design
Feature #1469
: Get indexed indets from a polyring
Some notes
0.50
20 Jun 2020
John Abbott
Development
Feature #7
: Automatic mapping between (some) rings
Partly done
1.50
20 Jun 2020
John Abbott
Development
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
Works now
0.10
12 May 2020
John Abbott
Design
Design #1453
: Use symbolic links for release files
Not sure if this is a good idea
0.20
12 May 2020
John Abbott
Documentation
Support #322
: Installation instructions (on website)
Another variant
0.40
06 May 2020
John Abbott
Design
Design #1456
: IntersectList or IntersectionList
Some notes
0.20
04 May 2020
John Abbott
Design
Support #1454
: Filenames in release CoCoAManual/html containing [obsolete]
Example
0.40
30 Apr 2020
John Abbott
Design
Design #1453
: Use symbolic links for release files
First for linux & macos
0.25
30 Apr 2020
John Abbott
Design
Design #1453
: Use symbolic links for release files
Some notes
0.25
20 Mar 2020
John Abbott
Design
Support #1445
: Automatic way to produce statically linked CoCoAInterpreter
Important
0.10
11 Mar 2020
John Abbott
Documentation
Support #322
: Installation instructions (on website)
LINUX
0.20
11 Mar 2020
John Abbott
Documentation
Support #322
: Installation instructions (on website)
Clearer
0.10
11 Mar 2020
Anna Maria Bigatti
Documentation
Support #322
: Installation instructions (on website)
0.50
10 Mar 2020
John Abbott
Documentation
Support #322
: Installation instructions (on website)
Microsoft
0.30
09 Mar 2020
John Abbott
Development
Slug #948
: radical is slow (compared to singular) on these examples
Postponing
0.10
08 Mar 2020
John Abbott
Testing
Support #1440
: Surprising parser error: INT+DOT+IDENTIFIER
Some notes
0.20
05 Mar 2020
John Abbott
Documentation
Support #1350
: CoCoA manual: entry for operators, shortcuts
Must improve the manual about operators
0.30
04 Mar 2020
John Abbott
Testing
Support #1071
: LinKerBasis is user-unfriendly
Needs improvement
0.20
04 Mar 2020
John Abbott
Documentation
Support #557
: CoCoAManual: improve part on input/output
Currently
0.10
04 Mar 2020
John Abbott
Design
Design #610
: Variable It: assign before or after printing
A note
0.10
04 Mar 2020
Anna Maria Bigatti
Documentation
Feature #1373
: GFan also for Microsoft?
0.20
03 Mar 2020
John Abbott
Design
Feature #1372
: New function: find ?
Possibly useful variant
0.20
02 Mar 2020
John Abbott
Testing
Support #448
: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
Still a problem?
0.15
02 Mar 2020
John Abbott
Documentation
Support #1350
: CoCoA manual: entry for operators, shortcuts
Split or subsections
0.20
28 Feb 2020
John Abbott
Debugging
Bug #1429
: Stack overflow reading long list (SEGV)
Some notes
1.00
21 Feb 2020
John Abbott
Documentation
Feature #1415
: thmproving package
Needs doc
0.20
19 Feb 2020
John Abbott
Documentation
Feature #1415
: thmproving package
To do
0.10
19 Feb 2020
John Abbott
Design
Feature #78
: Elim ordering and matrix ordering in CoCoA-5
Too far away
0.10
17 Feb 2020
John Abbott
Design
Feature #1372
: New function: find ?
Still prefer postponing
0.10
15 Feb 2020
John Abbott
Design
Support #1393
: GUI with Qt5
Did not have time
0.20
15 Feb 2020
John Abbott
Design
Feature #1372
: New function: find ?
Another question
0.10
14 Feb 2020
John Abbott
Design
Feature #1372
: New function: find ?
A delicate point
0.20
13 Feb 2020
John Abbott
Development
Design #474
: Eliminate package BinRepr
Postpone
0.20
13 Feb 2020
John Abbott
Design
Bug #946
: Function "ideal" evaluates the argument twice
C++14?
0.10
13 Feb 2020
John Abbott
Development
Feature #1415
: thmproving package
Code ported
2.50
28 Jan 2020
John Abbott
Development
Design #476
: Review utility of package IO
fold function
0.75
16 Jan 2020
John Abbott
Documentation
Support #1350
: CoCoA manual: entry for operators, shortcuts
Arithmetic operators
0.20
16 Jan 2020
John Abbott
Design
Feature #1372
: New function: find ?
Postpone?
0.10
09 Jan 2020
John Abbott
Development
Support #977
: "universal denominator" (related with GroebnerFanIdeals)
Status?
0.25
12 Dec 2019
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Time limit?
0.20
12 Dec 2019
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Some improvement
0.25
11 Dec 2019
Anna Maria Bigatti
Testing
Slug #948
: radical is slow (compared to singular) on these examples
0.20
25 Oct 2019
John Abbott
Documentation
Support #1350
: CoCoA manual: entry for operators, shortcuts
Some changes
0.75
17 Oct 2019
Anna Maria Bigatti
Design
Design #1075
: LaTeX package: power-product printing
0.20
16 Oct 2019
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Checking
0.15
16 Oct 2019
John Abbott
Design
Design #474
: Eliminate package BinRepr
Finish this!
0.10
16 Oct 2019
John Abbott
Design
Design #1075
: LaTeX package: power-product printing
Quick test
0.20
15 Oct 2019
Anna Maria Bigatti
Development
Slug #948
: radical is slow (compared to singular) on these examples
2.00
14 Oct 2019
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Somthing is funny
0.25
14 Oct 2019
Anna Maria Bigatti
Documentation
Slug #948
: radical is slow (compared to singular) on these examples
0.50
02 Oct 2019
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Close?
0.20
01 Oct 2019
John Abbott
Design
Bug #1104
: Eigenvectors: inconsistent return type
In the manual
0.20
01 Oct 2019
John Abbott
Design
Design #1292
: Interpreter: fns which accept INT or RAT
Some notes
0.10
01 Oct 2019
John Abbott
Documentation
Support #1241
: GDPR: website, mailing list
Seek advice
0.10
01 Oct 2019
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
Done some
1.00
01 Oct 2019
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Check
0.10
01 Oct 2019
John Abbott
Design
Design #476
: Review utility of package IO
Change package name?
0.10
01 Oct 2019
John Abbott
Development
Feature #368
: port SmithNormalForm (CoCoA-4)package to CoCoA-5
Delegate?
0.20
25 Sep 2019
John Abbott
Debugging
Bug #1320
: CoCoA-5 manual: incorrect empty line in syntax box (in PDF file)
Some notes
0.25
29 Apr 2019
John Abbott
Debugging
Slug #1228
: SLUG: filling an array
Problem!
0.50
03 Apr 2019
John Abbott
Testing
Design #474
: Eliminate package BinRepr
Status?
0.25
02 Apr 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
New timings
0.25
02 Apr 2019
John Abbott
Design
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
An idea
0.25
01 Apr 2019
John Abbott
Design
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
Duplication
0.25
01 Apr 2019
Anna Maria Bigatti
Development
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
0.50
01 Apr 2019
John Abbott
Design
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
Verification
0.30
29 Mar 2019
John Abbott
Design
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
Suggestion
0.20
29 Mar 2019
Anna Maria Bigatti
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
0.50
29 Mar 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
More notes
0.10
28 Mar 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
New timings
0.25
28 Mar 2019
Anna Maria Bigatti
Documentation
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
0.20
28 Mar 2019
John Abbott
Design
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
Need a better idea?
0.10
28 Mar 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
More notes
2.00
27 Mar 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
More notes
0.10
27 Mar 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
Other compilation times
0.10
27 Mar 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
Some timings
0.50
26 Mar 2019
Anna Maria Bigatti
Design
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
0.20
26 Mar 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
Promises... promises!
0.10
15 Feb 2019
Anna Maria Bigatti
Testing
Design #476
: Review utility of package IO
0.50
15 Feb 2019
John Abbott
Development
Design #476
: Review utility of package IO
Cleaning
0.10
15 Feb 2019
John Abbott
Design
Design #476
: Review utility of package IO
Some thoughts on design
0.25
29 Jan 2019
John Abbott
Design
Design #476
: Review utility of package IO
Wake up!
0.50
05 Oct 2018
John Abbott
Design
Slug #1228
: SLUG: filling an array
Silly me
0.10
04 Oct 2018
John Abbott
Design
Slug #1228
: SLUG: filling an array
Bad idea
0.20
03 Oct 2018
John Abbott
Design
Slug #1228
: SLUG: filling an array
Semantics of assignment
0.10
03 Oct 2018
John Abbott
Design
Slug #1228
: SLUG: filling an array
No segv
0.10
02 Oct 2018
John Abbott
Design
Slug #1228
: SLUG: filling an array
Uncertainties
0.20
02 Oct 2018
John Abbott
Design
Slug #1228
: SLUG: filling an array
Uh oh!
0.25
02 Oct 2018
John Abbott
Testing
Slug #1228
: SLUG: filling an array
Maybe...
0.20
02 Oct 2018
John Abbott
Debugging
Slug #1228
: SLUG: filling an array
More clues...
0.20
02 Oct 2018
John Abbott
Debugging
Slug #1228
: SLUG: filling an array
Profiling
1.00
01 Oct 2018
John Abbott
Debugging
Slug #1228
: SLUG: filling an array
Ouch!
0.20
30 Sep 2018
John Abbott
Debugging
Slug #1228
: SLUG: filling an array
Some notes
0.50
07 Aug 2018
John Abbott
Testing
Feature #723
: Referring to indets with multiple indices from a polyring
Example still fails
0.10
07 Aug 2018
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
Added some more
1.00
25 Jul 2018
John Abbott
Testing
Design #1075
: LaTeX package: power-product printing
Close?
0.25
16 May 2018
John Abbott
Design
Bug #1171
: RealRoots: first point is sometimes wrong?
Mixed semantics?
0.25
05 Apr 2018
John Abbott
Design
Bug #1171
: RealRoots: first point is sometimes wrong?
Suggestion
0.10
05 Apr 2018
John Abbott
Testing
Bug #1171
: RealRoots: first point is sometimes wrong?
Not so simple
0.50
04 Apr 2018
John Abbott
Testing
Bug #1171
: RealRoots: first point is sometimes wrong?
Stability
0.25
03 Apr 2018
Anna Maria Bigatti
Debugging
Bug #1171
: RealRoots: first point is sometimes wrong?
1.00
03 Apr 2018
Anna Maria Bigatti
Debugging
Bug #1171
: RealRoots: first point is sometimes wrong?
3.50
23 Mar 2018
Anna Maria Bigatti
Development
Slug #948
: radical is slow (compared to singular) on these examples
8.00
23 Mar 2018
Anna Maria Bigatti
Testing
Slug #948
: radical is slow (compared to singular) on these examples
0.50
26 Jan 2018
John Abbott
Design
Feature #368
: port SmithNormalForm (CoCoA-4)package to CoCoA-5
CoCoALib?
0.10
26 Jan 2018
John Abbott
Debugging
Feature #368
: port SmithNormalForm (CoCoA-4)package to CoCoA-5
More failing examples
0.10
26 Jan 2018
John Abbott
Debugging
Feature #368
: port SmithNormalForm (CoCoA-4)package to CoCoA-5
Partly done
0.25
16 Jan 2018
John Abbott
Design
Support #977
: "universal denominator" (related with GroebnerFanIdeals)
Additionally?
0.30
08 Jan 2018
John Abbott
Design
Design #1146
: Use Flatpak and/or Snap on Linux?
Some notes
0.25
15 Dec 2017
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Postponed
0.20
11 Dec 2017
Anna Maria Bigatti
Development
Design #1075
: LaTeX package: power-product printing
0.50
09 Oct 2017
John Abbott
Design
Support #977
: "universal denominator" (related with GroebnerFanIdeals)
INT?
0.10
09 Oct 2017
Anna Maria Bigatti
Design
Support #977
: "universal denominator" (related with GroebnerFanIdeals)
0.20
27 Sep 2017
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Singular
1.00
22 Sep 2017
John Abbott
Testing
Design #476
: Review utility of package IO
Needs updating
0.20
22 Sep 2017
John Abbott
Debugging
Slug #948
: radical is slow (compared to singular) on these examples
Cause?
0.25
19 Sep 2017
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Another example
0.10
19 Sep 2017
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Modular approach?
0.25
19 Sep 2017
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
More slow examples
0.50
23 May 2017
Anna Maria Bigatti
Design
Design #1075
: LaTeX package: power-product printing
0.20
22 May 2017
John Abbott
Design
Design #1075
: LaTeX package: power-product printing
Some notes
1.50
22 May 2017
Anna Maria Bigatti
Documentation
Support #1071
: LinKerBasis is user-unfriendly
0.30
18 May 2017
John Abbott
Testing
Feature #1072
: syz: apply to ModuleElem?
Zero coord
0.10
18 May 2017
John Abbott
Documentation
Feature #1072
: syz: apply to ModuleElem?
Capital?
0.10
18 May 2017
John Abbott
Design
Feature #1072
: syz: apply to ModuleElem?
Some notes
0.25
18 May 2017
John Abbott
Documentation
Support #1071
: LinKerBasis is user-unfriendly
Refer to syz?
0.10
18 May 2017
John Abbott
Testing
Support #1071
: LinKerBasis is user-unfriendly
Surely wrong result?
0.20
18 May 2017
John Abbott
Testing
Support #1071
: LinKerBasis is user-unfriendly
Zero not mapped into ring
0.10
18 May 2017
John Abbott
Testing
Support #1071
: LinKerBasis is user-unfriendly
Eh??
0.20
18 May 2017
John Abbott
Debugging
Support #1071
: LinKerBasis is user-unfriendly
Bad example
0.10
17 May 2017
Anna Maria Bigatti
Development
Bug #946
: Function "ideal" evaluates the argument twice
0.20
16 May 2017
Anna Maria Bigatti
Debugging
Bug #946
: Function "ideal" evaluates the argument twice
3.50
27 Apr 2017
John Abbott
Debugging
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Postponing
0.10
07 Apr 2017
John Abbott
Testing
Design #1041
: Separators for elements of a list
Example
0.10
07 Apr 2017
John Abbott
Design
Design #1041
: Separators for elements of a list
Some notes
0.20
10 Mar 2017
John Abbott
Development
Bug #946
: Function "ideal" evaluates the argument twice
Postponing
0.10
09 Mar 2017
John Abbott
Debugging
Bug #946
: Function "ideal" evaluates the argument twice
Slow progress
0.10
22 Feb 2017
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
Done some
2.00
21 Feb 2017
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
Let's make some progress...
0.10
27 Jan 2017
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
Help?
0.10
19 Jan 2017
John Abbott
Development
Feature #912
: Add TUTORIALs to online manual
Stimulus
0.10
29 Nov 2016
John Abbott
Documentation
Support #322
: Installation instructions (on website)
Still needs improvement
0.25
28 Nov 2016
John Abbott
Documentation
Support #985
: Microsoft (Windows 10, maybe other versions): more help for installation
An idea
0.25
24 Nov 2016
John Abbott
Design
Support #977
: "universal denominator" (related with GroebnerFanIdeals)
How universal?
0.50
23 Nov 2016
John Abbott
Design
Support #977
: "universal denominator" (related with GroebnerFanIdeals)
How universal?
0.10
23 Nov 2016
John Abbott
Design
Support #977
: "universal denominator" (related with GroebnerFanIdeals)
OK for name
0.10
22 Nov 2016
John Abbott
Development
Support #977
: "universal denominator" (related with GroebnerFanIdeals)
Partly done
0.10
« Previous
1
2
Next »
(1-500/568)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...