⚲
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:
1999.20
Date
User
Activity
Issue
Comment
Hours
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
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
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
20 Jan 2022
John Abbott
Testing
Bug #1640
: MinSubsetOfGens does not find min subset
Possible test case?
0.20
21 Jan 2022
John Abbott
Testing
Bug #1640
: MinSubsetOfGens does not find min subset
Closing
0.33
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
25 Jan 2022
John Abbott
Testing
Bug #1651
: SEGV subsets ??
Some notes
0.10
26 Jan 2022
John Abbott
Testing
Bug #1651
: SEGV subsets ??
Ulimit
0.10
27 Jan 2022
John Abbott
Documentation
Support #1650
: Potentially confusing prompt: waiting for semicolon
Suggestion
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
31 Jan 2022
John Abbott
Development
Bug #1651
: SEGV subsets ??
Changed impl
0.60
02 Feb 2022
John Abbott
Development
Feature #1272
: Groebner Bases over ZZ
Progress?
0.10
02 Feb 2022
John Abbott
Development
Feature #1272
: Groebner Bases over ZZ
Cleaning
1.60
02 Feb 2022
John Abbott
Design
Feature #1272
: Groebner Bases over ZZ
Modulus
0.25
02 Feb 2022
John Abbott
Development
Feature #1272
: Groebner Bases over ZZ
With modulus
1.00
03 Feb 2022
John Abbott
Development
Feature #1272
: Groebner Bases over ZZ
The future?
0.20
03 Feb 2022
John Abbott
Discussion
Support #1471
: Release CoCoA-5.4.0
Quickly?
0.20
03 Feb 2022
John Abbott
Testing
Bug #1651
: SEGV subsets ??
Closing
0.20
03 Feb 2022
John Abbott
Design
Bug #1552
: subst: not checking args properly
Postponing
0.10
03 Feb 2022
John Abbott
Development
Feature #606
: Evaluate in ring operator (was called :: in CoCoA-4)
Close?
0.10
03 Feb 2022
John Abbott
Documentation
Feature #1272
: Groebner Bases over ZZ
Proposal
0.20
03 Feb 2022
John Abbott
Documentation
Support #1214
: CoCoAManual: ensure that LaTeX compilation is "clean"
Status?
0.10
03 Feb 2022
John Abbott
Documentation
Support #1447
: Manual entry for RandomLinearForm
Status?
0.10
03 Feb 2022
John Abbott
Testing
Design #1504
: OnlineHelp: XMLFileName
Status?
0.10
03 Feb 2022
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Status?
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 #1443
: Illegal instruction
Closing
0.20
03 Feb 2022
John Abbott
Testing
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
Seems OK now
0.20
03 Feb 2022
John Abbott
Documentation
Support #1471
: Release CoCoA-5.4.0
Confession?
0.20
03 Feb 2022
John Abbott
Testing
Design #1407
: Tagged values (Hilbert Series)
Feedback
0.10
03 Feb 2022
John Abbott
Development
Design #474
: Eliminate package BinRepr
Postponing
0.10
03 Feb 2022
John Abbott
Development
Design #929
: Clean up CoCoALibSupplement
Tedious
0.10
03 Feb 2022
John Abbott
Documentation
Feature #1549
: Add sagbi package
Either... or...
0.10
03 Feb 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Must not lose this
0.10
03 Feb 2022
John Abbott
Design
Support #1471
: Release CoCoA-5.4.0
Postponing
0.20
03 Feb 2022
John Abbott
Documentation
Feature #1415
: thmproving package
Status?
0.10
03 Feb 2022
John Abbott
Design
Bug #1244
: MSatLinSolve: req minor improvements
Added quick test
0.25
04 Feb 2022
John Abbott
Documentation
Feature #1272
: Groebner Bases over ZZ
Doc done
0.40
05 Feb 2022
John Abbott
Design
Support #1455
: In a release: which files inside the CoCoAManual
Ugly
0.20
05 Feb 2022
John Abbott
Development
Support #1455
: In a release: which files inside the CoCoAManual
Changed
0.40
06 Feb 2022
John Abbott
Testing
Support #1471
: Release CoCoA-5.4.0
3 platforms OK
0.50
07 Feb 2022
John Abbott
Documentation
Support #1658
: LinKerZZ not documented
Doc & debug
0.75
07 Feb 2022
John Abbott
Design
Support #1658
: LinKerZZ not documented
Name?
0.10
07 Feb 2022
Anna Maria Bigatti
Development
Support #1660
: Updating file obsolescent.cpkg5: make it easier
1.50
09 Feb 2022
Anna Maria Bigatti
Testing
Bug #946
: Function "ideal" evaluates the argument twice
0.50
09 Feb 2022
Anna Maria Bigatti
Development
Support #1660
: Updating file obsolescent.cpkg5: make it easier
1.50
09 Feb 2022
John Abbott
Testing
Bug #922
: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
No longer relevant
0.20
14 Feb 2022
Anna Maria Bigatti
Design
Design #1525
: CoCoA Manual: homogenize obsolete/obsolescent entries
0.50
14 Feb 2022
Anna Maria Bigatti
Discussion
Support #1660
: Updating file obsolescent.cpkg5: make it easier
0.50
16 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Suggestion
0.20
16 Feb 2022
John Abbott
Testing
Bug #1524
: wrong SystemCommand exit value
Reliability
0.25
16 Feb 2022
John Abbott
Development
Feature #1272
: Groebner Bases over ZZ
Closing
0.20
16 Feb 2022
John Abbott
Development
Feature #606
: Evaluate in ring operator (was called :: in CoCoA-4)
Testing
0.20
16 Feb 2022
John Abbott
Testing
Feature #1479
: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
Closing
0.20
16 Feb 2022
John Abbott
Design
Support #1658
: LinKerZZ not documented
Closing
0.20
16 Feb 2022
John Abbott
Testing
Support #1455
: In a release: which files inside the CoCoAManual
Soon find out
0.20
16 Feb 2022
John Abbott
Documentation
Design #1477
: Packages: questions from Andraschko
Mostly done
0.20
16 Feb 2022
John Abbott
Documentation
Support #406
: Manual for CoCoAManual/CoCoAHelp.xml
Postponing
0.10
16 Feb 2022
John Abbott
Testing
Support #1534
: Install CoCoA-5 on MacOS-10.15+
ANNA!
0.10
16 Feb 2022
John Abbott
Testing
Design #1504
: OnlineHelp: XMLFileName
Close?
0.10
16 Feb 2022
John Abbott
Documentation
Support #1077
: Manual: remove old stuff about "devices"
Sooner or later
0.10
18 Feb 2022
John Abbott
Documentation
Support #322
: Installation instructions (on website)
For linux
0.20
18 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Add to pre-release checks?
0.10
18 Feb 2022
Anna Maria Bigatti
Documentation
Feature #1415
: thmproving package
0.20
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
John Abbott
Documentation
Design #1525
: CoCoA Manual: homogenize obsolete/obsolescent entries
0.40
18 Feb 2022
John Abbott
Documentation
Support #1451
: CoCoA Manual: make search keys public
2.00
18 Feb 2022
John Abbott
Documentation
Support #1214
: CoCoAManual: ensure that LaTeX compilation is "clean"
0.10
18 Feb 2022
John Abbott
Discussion
Support #1455
: In a release: which files inside the CoCoAManual
0.20
18 Feb 2022
John Abbott
Discussion
Support #1471
: Release CoCoA-5.4.0
Version number
0.20
23 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Seems OK now
0.40
23 Feb 2022
John Abbott
Design
Support #1478
: HilbertBasis: clarify
Resolved
0.50
23 Feb 2022
Anna Maria Bigatti
Discussion
Design #1194
: Rename HilbertBasisKer into LinKerHilbertBasis?
0.50
23 Feb 2022
John Abbott
Discussion
Feature #1596
: Add CoCoA5 function NmzHilbertBasisKer
Return type/value
0.25
23 Feb 2022
John Abbott
Testing
Support #1447
: Manual entry for RandomLinearForm
Seems OK now
0.25
24 Feb 2022
John Abbott
Testing
Support #530
: Interpreter error message: "for" with missing "do"
Useful?
0.10
25 Feb 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
It works!
4.00
02 Mar 2022
Anna Maria Bigatti
Development
Support #406
: Manual for CoCoAManual/CoCoAHelp.xml
4.00
02 Mar 2022
Anna Maria Bigatti
Design
Support #169
: Font for parameters in manual
1.00
03 Mar 2022
Anna Maria Bigatti
Discussion
Support #530
: Interpreter error message: "for" with missing "do"
0.50
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
03 Mar 2022
John Abbott
Testing
Feature #1526
: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Clarification
0.20
03 Mar 2022
Ulrich von der Ohe
Debugging
Support #1393
: GUI with Qt5
std::thread
1.00
07 Mar 2022
Anna Maria Bigatti
Discussion
Slug #1629
: RingElem slow with many indets
0.50
07 Mar 2022
Anna Maria Bigatti
Development
Feature #1526
: EmacsUI: help/manual for selected string -- or just for word with cursor on?
1.00
12 Mar 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Works for me
0.40
12 Mar 2022
John Abbott
Design
Support #1393
: GUI with Qt5
Why?
0.10
16 Mar 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Checked in
1.00
17 Mar 2022
Ulrich von der Ohe
Development
Support #1393
: GUI with Qt5
3.00
10 Apr 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Checked in
1.50
13 Apr 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Copyright
0.25
20 Apr 2022
John Abbott
Design
Design #1679
: BuiltinFunctions-GFan includes normaliz?!?
Some notes
0.25
31 May 2022
John Abbott
Documentation
Support #1663
: GCDList not documented
Some notes
0.10
31 May 2022
John Abbott
Documentation
Support #169
: Font for parameters in manual
Close?
0.10
09 Jun 2022
John Abbott
Documentation
Support #1686
: Manual entry for random (see also)
Some notes
0.40
13 Jun 2022
John Abbott
Testing
Support #1471
: Release CoCoA-5.4.0
Close?
0.10
13 Jun 2022
John Abbott
Documentation
Support #1688
: Release CoCoA 5.4.2
Main changes
0.10
16 Aug 2022
John Abbott
Debugging
Bug #1695
: boost-find-lib.sh
Some notes
0.50
18 Aug 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Some notes
0.50
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?
Version
0.25
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
Bug #1093
: GUI: bugs and slugs
Intr mesgs
0.25
22 Aug 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
MacOS
0.40
22 Aug 2022
John Abbott
Design
Design #1697
: Specifying BOOST in configure
Name?
0.20
15 Sep 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Almost done
0.20
15 Sep 2022
John Abbott
Design
Design #1697
: Specifying BOOST in configure
Renaming
0.50
26 Sep 2022
John Abbott
Discussion
Feature #461
: New keyword "|->"? (same as "return")
Reject?
0.10
26 Sep 2022
Anna Maria Bigatti
Discussion
Feature #461
: New keyword "|->"? (same as "return")
discussion
1.00
26 Sep 2022
John Abbott
Testing
Bug #100
: BringIn should map only the indets in its arg
Status 2022-09-26
0.25
26 Sep 2022
John Abbott
Discussion
Feature #35
: Optional warnings for fn-proc arity
Too tricky?
0.25
27 Sep 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Release
0.20
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
Documentation
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Document?
0.10
27 Sep 2022
John Abbott
Discussion
Design #1698
: indent: return a string?
Some notes
0.30
28 Sep 2022
John Abbott
Testing
Bug #1604
: SqFreeFactor crashes over non-perfect field
Status report
0.25
28 Sep 2022
John Abbott
Development
Design #1698
: indent: return a string?
Prototype
0.40
30 Sep 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Undecided
0.25
30 Sep 2022
John Abbott
Discussion
Support #198
: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI
Rivalutare
0.20
30 Sep 2022
John Abbott
Discussion
Bug #148
: C-c C-p in emacs goes to wrong line
Anna?
0.10
05 Oct 2022
Anna Maria Bigatti
Design
Bug #148
: C-c C-p in emacs goes to wrong line
1.00
05 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.25
05 Oct 2022
Anna Maria Bigatti
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
0.10
06 Oct 2022
John Abbott
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Free module names
0.20
06 Oct 2022
John Abbott
Testing
Bug #148
: C-c C-p in emacs goes to wrong line
Some test cases
0.50
06 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Test script
0.20
06 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Tests
0.20
07 Oct 2022
John Abbott
Discussion
Feature #35
: Optional warnings for fn-proc arity
Rejecting
0.40
07 Oct 2022
John Abbott
Discussion
Slug #750
: C5 GUI: very slow when printing many short lines
Closing
0.40
07 Oct 2022
John Abbott
Discussion
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Status report
0.10
07 Oct 2022
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
Close?
0.20
07 Oct 2022
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
Update
0.10
07 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Quick!
0.10
10 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
0.30
11 Oct 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Must wait
0.10
14 Oct 2022
Anna Maria Bigatti
Documentation
Design #1697
: Specifying BOOST in configure
2.00
17 Oct 2022
John Abbott
Discussion
Feature #1373
: GFan also for Microsoft?
Nico Mexis
0.10
17 Oct 2022
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
New students
0.20
17 Oct 2022
John Abbott
Development
Design #1568
: RMap and image: obsolescent?
Progress?
0.10
17 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some notes
0.40
19 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.50
21 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some thoughts
0.25
21 Oct 2022
John Abbott
Development
Feature #1701
: Preliminary packages
New dir
0.40
24 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Wow!
0.10
01 Nov 2022
John Abbott
Discussion
Support #1707
: User forum?
Some notes
0.25
02 Nov 2022
John Abbott
Discussion
Bug #1708
: Linux: just 1 executable, should be 2 (with & without readline)
Some notes
0.25
04 Nov 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Ouch!
0.50
04 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Simpler?
0.25
07 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Licence
0.20
16 Nov 2022
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Some notes
0.20
23 Nov 2022
John Abbott
Documentation
Bug #1713
: Windows: Qt-Gui does not link correctly
Notes about building Normaliz
0.25
23 Nov 2022
John Abbott
Testing
Design #1697
: Specifying BOOST in configure
New configure system solves this?
0.25
23 Nov 2022
John Abbott
Development
Bug #1695
: boost-find-lib.sh
Resolved?
0.25
23 Nov 2022
John Abbott
Documentation
Support #1393
: GUI with Qt5
paper-shuffling
0.25
23 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Bounced
0.20
24 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Some notes
0.25
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)
Also char 0
0.10
26 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Different error
0.25
26 Nov 2022
John Abbott
Debugging
Bug #1714
: IsDivisible error (in QuotRing)
Got it!
1.00
28 Nov 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Oh joy!
0.50
30 Nov 2022
John Abbott
Discussion
Bug #1713
: Windows: Qt-Gui does not link correctly
Who can help?
0.20
30 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Proposal
0.20
30 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Revised release script
1.50
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
Relevant source
0.20
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
Found something dodgy
0.50
14 Dec 2022
John Abbott
Testing
Bug #1717
: CRASH: equality test to a FUNCTION
Closing
0.25
14 Dec 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Added test
0.25
14 Dec 2022
John Abbott
Documentation
Design #1697
: Specifying BOOST in configure
Major update
1.50
16 Dec 2022
John Abbott
Design
Feature #1718
: FactorINT with time-out
Some notes
1.50
01 Jan 2023
John Abbott
Development
Feature #1718
: FactorINT with time-out
Almost done
2.00
01 Jan 2023
John Abbott
Testing
Design #1698
: indent: return a string?
Checked in?
0.10
06 Feb 2023
John Abbott
Testing
Slug #1722
: Daft slug
Some notes
0.25
14 Feb 2023
John Abbott
Testing
Slug #1722
: Daft slug
Reference timings
0.25
14 Feb 2023
John Abbott
Testing
Design #1698
: indent: return a string?
Checked in?
0.10
14 Feb 2023
John Abbott
Development
Support #1688
: Release CoCoA 5.4.2
Vietnam
0.10
27 Feb 2023
Anna Maria Bigatti
Development
Feature #1724
: New function: AdjacentMinors
0.50
27 Feb 2023
Anna Maria Bigatti
Testing
Slug #1722
: Daft slug
0.50
27 Feb 2023
John Abbott
Discussion
Design #1681
: Should Starting be case-insensitive?
Both?
0.10
27 Feb 2023
John Abbott
Development
Design #1681
: Should Starting be case-insensitive?
Revised code
0.30
07 Mar 2023
John Abbott
Discussion
Support #1675
: Version 5.4.0 requires Visual C++ Runtime 2013 on Windows
Erm
0.25
09 Mar 2023
John Abbott
Discussion
Feature #1718
: FactorINT with time-out
No comments
0.20
09 Mar 2023
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
0.15
09 Mar 2023
John Abbott
Testing
Bug #1695
: boost-find-lib.sh
0.10
09 Mar 2023
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
News from Passau?
0.10
09 Mar 2023
John Abbott
Development
Design #1477
: Packages: questions from Andraschko
Status
0.40
09 Mar 2023
John Abbott
Documentation
Support #1077
: Manual: remove old stuff about "devices"
Tidying
0.10
09 Mar 2023
John Abbott
Testing
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
Changed err mesg
0.10
10 Mar 2023
John Abbott
Discussion
Feature #7
: Automatic mapping between (some) rings
Status?
0.20
10 Mar 2023
John Abbott
Design
Design #1075
: LaTeX package: power-product printing
backslash
0.25
10 Mar 2023
John Abbott
Design
Design #1075
: LaTeX package: power-product printing
Latex spacing
0.10
14 Mar 2023
Anna Maria Bigatti
Documentation
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
0.25
14 Mar 2023
John Abbott
Discussion
Feature #1718
: FactorINT with time-out
Fn name?
0.10
14 Mar 2023
John Abbott
Documentation
Design #1698
: indent: return a string?
Manual
0.25
14 Mar 2023
John Abbott
Testing
Feature #1587
: Multiline string literals (again)
Closing
0.25
14 Mar 2023
John Abbott
Design
Design #1477
: Packages: questions from Andraschko
Closing
0.20
14 Mar 2023
John Abbott
Documentation
Bug #1171
: RealRoots: first point is sometimes wrong?
Better doc helps
0.20
14 Mar 2023
John Abbott
Discussion
Design #1075
: LaTeX package: power-product printing
Agreed
0.25
14 Mar 2023
John Abbott
Design
Feature #1718
: FactorINT with time-out
O or o?
0.10
14 Mar 2023
John Abbott
Discussion
Feature #1112
: New function: IsEmpty
Conclusion?
0.40
14 Mar 2023
John Abbott
Testing
Feature #1112
: New function: IsEmpty
Another test
0.10
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
15 Mar 2023
Anna Maria Bigatti
Documentation
Design #1698
: indent: return a string?
0.25
21 Mar 2023
Anna Maria Bigatti
Design
Design #1728
: Refine Poset impl & doc
0.25
27 Mar 2023
Anna Maria Bigatti
Development
Feature #1731
: Verbosity level in CoCoA5
0.50
12 Apr 2023
Anna Maria Bigatti
Debugging
Bug #1734
: Fix call to HilbertPoly in test/TutHokkaido5
1.00
12 Apr 2023
Anna Maria Bigatti
Development
Feature #1731
: Verbosity level in CoCoA5
2.00
12 Apr 2023
John Abbott
Design
Feature #1731
: Verbosity level in CoCoA5
Bad idea?
0.20
08 May 2023
John Abbott
Documentation
Support #1079
: CoCoAManual: AffHilbertFn accepts also ideal (correct?)
Status?
0.20
10 May 2023
John Abbott
Testing
Support #1741
: Documentation/Manual for HilbertFn
Example is right
0.25
10 May 2023
John Abbott
Documentation
Support #1741
: Documentation/Manual for HilbertFn
Simpler
0.25
10 May 2023
John Abbott
Discussion
Feature #1731
: Verbosity level in CoCoA5
Not a good idea
0.25
11 May 2023
Anna Maria Bigatti
Development
Feature #1731
: Verbosity level in CoCoA5
0.50
11 May 2023
Anna Maria Bigatti
Development
Feature #1731
: Verbosity level in CoCoA5
checked in
0.25
11 May 2023
Anna Maria Bigatti
Testing
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
12 May 2023
Anna Maria Bigatti
Design
Slug #1629
: RingElem slow with many indets
0.25
15 May 2023
John Abbott
Testing
Slug #1629
: RingElem slow with many indets
Not up-to-date?
0.20
16 May 2023
John Abbott
Testing
Slug #1629
: RingElem slow with many indets
OK
0.10
19 May 2023
John Abbott
Discussion
Slug #1629
: RingElem slow with many indets
Feedback?
0.10
22 May 2023
John Abbott
Development
Bug #1745
: Printing of Hilbert series via indent
Fixed
0.75
23 May 2023
Anna Maria Bigatti
Development
Bug #1745
: Printing of Hilbert series via indent
0.50
23 May 2023
John Abbott
Discussion
Bug #1745
: Printing of Hilbert series via indent
In a list
0.25
23 Jun 2023
John Abbott
Testing
Bug #1746
: ManExamples target: need to reset VerbosityLevel
Done?
0.10
27 Jun 2023
John Abbott
Development
Support #1675
: Version 5.4.0 requires Visual C++ Runtime 2013 on Windows
Update
0.10
29 Jun 2023
John Abbott
Design
Feature #823
: NewPolyRing with weights -- better interface?
More comments
0.50
06 Jul 2023
John Abbott
Discussion
Feature #1752
: Make it easy to run the tests in a public/distrib version
Some notes
0.25
03 Aug 2023
John Abbott
Discussion
Support #1759
: Better error mesg for 1.2.3.4?
Some notes
0.25
05 Aug 2023
John Abbott
Testing
Support #1759
: Better error mesg for 1.2.3.4?
Current state
0.10
05 Aug 2023
John Abbott
Discussion
Slug #1760
: Quitting can be slow
Ought to be easy?
0.20
06 Aug 2023
John Abbott
Development
Slug #1760
: Quitting can be slow
First prototype
0.50
20 Aug 2023
John Abbott
Design
Design #1762
: CoCoA web site "analytics"
GDPR
0.20
21 Aug 2023
Anna Maria Bigatti
Discussion
Design #1762
: CoCoA web site "analytics"
0.25
18 Oct 2023
John Abbott
Design
Bug #1766
: Emacs 29: Removal of obsolete entries
Brief
0.25
25 Oct 2023
John Abbott
Development
Bug #1766
: Emacs 29: Removal of obsolete entries
Checked in
0.20
28 Nov 2023
John Abbott
Discussion
Design #1772
: Continued fraction: arg type RAT or RAT/INT?
Some notes
0.50
28 Nov 2023
John Abbott
Discussion
Feature #980
: CoeffSize: function to measure the size of coeffs in a poly
Some comments
0.25
29 Nov 2023
John Abbott
Documentation
Support #1636
: Missing/Incomplete manual entries
A start
0.60
29 Nov 2023
John Abbott
Documentation
Support #1636
: Missing/Incomplete manual entries
Lots to do
0.10
30 Nov 2023
Anna Maria Bigatti
Development
Support #1636
: Missing/Incomplete manual entries
2.00
22 Dec 2023
Anna Maria Bigatti
Design
Feature #823
: NewPolyRing with weights -- better interface?
0.25
22 Dec 2023
John Abbott
Testing
Bug #1766
: Emacs 29: Removal of obsolete entries
Ask Nico
0.10
22 Dec 2023
John Abbott
Testing
Design #1681
: Should Starting be case-insensitive?
Minor buglet
0.20
22 Dec 2023
John Abbott
Design
Design #1681
: Should Starting be case-insensitive?
Case-insensitive string comparison?
0.10
22 Dec 2023
John Abbott
Discussion
Feature #823
: NewPolyRing with weights -- better interface?
Name?
0.10
22 Dec 2023
John Abbott
Discussion
Feature #1112
: New function: IsEmpty
Closing
0.15
22 Dec 2023
John Abbott
Testing
Design #1075
: LaTeX package: power-product printing
KISS
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
Bug #1745
: Printing of Hilbert series via indent
Closing
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 #1746
: ManExamples target: need to reset VerbosityLevel
Mostly OK
0.20
22 Dec 2023
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Closing
0.10
04 Jan 2024
John Abbott
Design
Design #1041
: Separators for elements of a list
Re-awaken
0.20
15 Jan 2024
John Abbott
Discussion
Slug #1363
: Emacs UI: slow with long lines
So long
0.10
15 Jan 2024
John Abbott
Design
Feature #1541
: foreach with ref to list entry?
Might be tricky
0.20
15 Jan 2024
John Abbott
Discussion
Design #1626
: NewMat: should be obsolescent?
Obsolete or BackwardCompatible?
0.10
15 Jan 2024
John Abbott
Testing
Bug #469
: Emacs UI: keywords in multiline comments
Bug still there
0.25
15 Jan 2024
John Abbott
Discussion
Bug #1623
: EmacsUI: annoying colours
Reactivate?
0.10
16 Jan 2024
John Abbott
Discussion
Bug #1623
: EmacsUI: annoying colours
Another variant
0.20
19 Jan 2024
Anna Maria Bigatti
Design
Bug #1623
: EmacsUI: annoying colours
0.20
19 Jan 2024
Anna Maria Bigatti
Development
Bug #1623
: EmacsUI: annoying colours
0.75
19 Jan 2024
Anna Maria Bigatti
Development
Bug #1623
: EmacsUI: annoying colours
0.50
19 Jan 2024
John Abbott
Discussion
Design #1626
: NewMat: should be obsolescent?
Revised manual
0.40
22 Jan 2024
John Abbott
Development
Feature #368
: port SmithNormalForm (CoCoA-4)package to CoCoA-5
Passau code
0.20
09 Feb 2024
Anna Maria Bigatti
Debugging
Bug #1781
: GenReprCompute: SERIOUS ERROR
0.25
09 Feb 2024
Anna Maria Bigatti
Debugging
Bug #1781
: GenReprCompute: SERIOUS ERROR
0.50
17 Feb 2024
John Abbott
Testing
Bug #1713
: Windows: Qt-Gui does not link correctly
Wow!
0.10
17 Feb 2024
John Abbott
Testing
Bug #1713
: Windows: Qt-Gui does not link correctly
Ahhh!
0.10
25 Feb 2024
John Abbott
Discussion
Bug #1713
: Windows: Qt-Gui does not link correctly
Thanks!
0.10
25 Feb 2024
John Abbott
Testing
Bug #1713
: Windows: Qt-Gui does not link correctly
Seems OK
0.10
28 Feb 2024
John Abbott
Testing
Bug #611
: GUI: qutting provokes Imminent Disaster
Still a problem
0.20
28 Feb 2024
John Abbott
Discussion
Bug #612
: The C5 gui does not exit properly when using the exit menu entry
Duplicate
0.10
28 Feb 2024
John Abbott
Debugging
Bug #611
: GUI: qutting provokes Imminent Disaster
Uli?
0.10
28 Feb 2024
John Abbott
Debugging
Bug #611
: GUI: qutting provokes Imminent Disaster
Related?
0.10
28 Feb 2024
John Abbott
Discussion
Support #915
: When is a semicolon needed to end a statement/command?
Unimportant?
0.10
07 Mar 2024
John Abbott
Design
Feature #1671
: Refactor C++ impl in OnlineHelp
Remove dependency on CoCoALib
0.20
11 Mar 2024
Anna Maria Bigatti
Discussion
Feature #1671
: Refactor C++ impl in OnlineHelp
0.20
16 Mar 2024
John Abbott
Testing
Bug #1794
: Do not use random inside tests!!
Some notes
0.25
16 Mar 2024
John Abbott
Discussion
Bug #1795
: Makefile problem: needlessly relinks CoCoAInterpreter
Some notes
0.20
17 Mar 2024
John Abbott
Development
Bug #1795
: Makefile problem: needlessly relinks CoCoAInterpreter
Maybe solved
0.50
18 Mar 2024
Anna Maria Bigatti
Documentation
Feature #823
: NewPolyRing with weights -- better interface?
0.50
18 Mar 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Suggestion
0.20
18 Mar 2024
John Abbott
Discussion
Feature #1701
: Preliminary packages
Documentation
0.20
18 Mar 2024
John Abbott
Discussion
Support #1650
: Potentially confusing prompt: waiting for semicolon
Mmmm
0.20
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
Feature #1583
: New fn ElapsedTimeFrom?
Not convinced
0.10
18 Mar 2024
John Abbott
Discussion
Feature #823
: NewPolyRing with weights -- better interface?
Name
0.10
19 Mar 2024
John Abbott
Documentation
Support #1759
: Better error mesg for 1.2.3.4?
Relevant source code
0.25
20 Mar 2024
John Abbott
Debugging
Bug #1794
: Do not use random inside tests!!
Ahhh random!
0.50
21 Mar 2024
Anna Maria Bigatti
Debugging
Slug #1068
: PolyRing constructor: NewOrdvArith computed twice
0.25
22 Mar 2024
John Abbott
Design
Feature #78
: Elim ordering and matrix ordering in CoCoA-5
Shortcut
0.20
26 Mar 2024
Anna Maria Bigatti
Design
Feature #1072
: syz: apply to ModuleElem?
0.20
26 Mar 2024
John Abbott
Discussion
Feature #1072
: syz: apply to ModuleElem?
Agreed
0.10
28 Mar 2024
Anna Maria Bigatti
Design
Feature #78
: Elim ordering and matrix ordering in CoCoA-5
0.20
07 Apr 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Modified
0.40
12 Apr 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Checked in
0.20
19 Apr 2024
John Abbott
Design
Bug #1794
: Do not use random inside tests!!
More tests to check
0.25
05 May 2024
John Abbott
Documentation
Bug #727
: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized
Useful links?
0.25
05 May 2024
John Abbott
Documentation
Bug #1435
: Disable readline if input is redirected
Useful links?
0.25
05 May 2024
John Abbott
Testing
Bug #1634
: Unexpected or unhelpful error using GroebnerFanIdeals
No problem on 64-bitters
0.25
05 May 2024
John Abbott
Development
Bug #1708
: Linux: just 1 executable, should be 2 (with & without readline)
Progress?
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
Testing
Design #610
: Variable It: assign before or after printing
Big test
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
Discussion
Design #1496
: Use "special" names for variables inside tests
Puzzled
0.10
05 May 2024
John Abbott
Discussion
Design #1508
: Initial ring
Summary
0.30
05 May 2024
John Abbott
Discussion
Feature #97
: OpenOFile
Close?
0.10
05 May 2024
John Abbott
Testing
Slug #1760
: Quitting can be slow
Done
0.20
05 May 2024
John Abbott
Testing
Support #1566
: What does rad do?
Vanished?
0.10
05 May 2024
John Abbott
Documentation
Support #1650
: Potentially confusing prompt: waiting for semicolon
Tricky
0.20
05 May 2024
John Abbott
Discussion
Support #1603
: Unhelpful behaviour in "compatibility mode": double error mesg
Ugh!
0.10
08 May 2024
Anna Maria Bigatti
Discussion
Support #1566
: What does rad do?
0.25
09 May 2024
John Abbott
Discussion
Support #1650
: Potentially confusing prompt: waiting for semicolon
More thoughts
0.20
10 May 2024
John Abbott
Discussion
Support #1650
: Potentially confusing prompt: waiting for semicolon
Another idea
0.10
10 May 2024
John Abbott
Discussion
Support #1650
: Potentially confusing prompt: waiting for semicolon
Discussion
0.10
10 May 2024
John Abbott
Discussion
Design #1496
: Use "special" names for variables inside tests
Rejecting
0.20
10 May 2024
John Abbott
Discussion
Design #610
: Variable It: assign before or after printing
Closing
0.15
13 May 2024
John Abbott
Testing
Design #1508
: Initial ring
Update
0.30
13 May 2024
John Abbott
Documentation
Design #1508
: Initial ring
Mesg
0.10
« Previous
1
…
5
6
7
Next »
(3001-3321/3321)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...