⚲
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:
1998.80
Date
User
Activity
Issue
Comment
Hours
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
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
Testing
Bug #1634
: Unexpected or unhelpful error using GroebnerFanIdeals
No problem on 64-bitters
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
18 Mar 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Suggestion
0.20
16 Mar 2024
John Abbott
Testing
Bug #1794
: Do not use random inside tests!!
Some notes
0.25
28 Feb 2024
John Abbott
Testing
Bug #611
: GUI: qutting provokes Imminent Disaster
Still a problem
0.20
25 Feb 2024
John Abbott
Testing
Bug #1713
: Windows: Qt-Gui does not link correctly
Seems OK
0.10
17 Feb 2024
John Abbott
Testing
Bug #1713
: Windows: Qt-Gui does not link correctly
Ahhh!
0.10
17 Feb 2024
John Abbott
Testing
Bug #1713
: Windows: Qt-Gui does not link correctly
Wow!
0.10
15 Jan 2024
John Abbott
Testing
Bug #469
: Emacs UI: keywords in multiline comments
Bug still there
0.25
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
Testing
Design #1075
: LaTeX package: power-product printing
KISS
0.20
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
05 Aug 2023
John Abbott
Testing
Support #1759
: Better error mesg for 1.2.3.4?
Current state
0.10
23 Jun 2023
John Abbott
Testing
Bug #1746
: ManExamples target: need to reset VerbosityLevel
Done?
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
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
Testing
Support #1741
: Documentation/Manual for HilbertFn
Example is right
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
Testing
Feature #1587
: Multiline string literals (again)
Closing
0.25
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
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
27 Feb 2023
Anna Maria Bigatti
Testing
Slug #1722
: Daft slug
0.50
14 Feb 2023
John Abbott
Testing
Design #1698
: indent: return a string?
Checked in?
0.10
14 Feb 2023
John Abbott
Testing
Slug #1722
: Daft slug
Reference timings
0.25
06 Feb 2023
John Abbott
Testing
Slug #1722
: Daft slug
Some notes
0.25
01 Jan 2023
John Abbott
Testing
Design #1698
: indent: return a string?
Checked in?
0.10
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
28 Nov 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Oh joy!
0.50
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
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
04 Nov 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Ouch!
0.50
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
06 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Tests
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
30 Sep 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Undecided
0.25
28 Sep 2022
John Abbott
Testing
Bug #1604
: SqFreeFactor crashes over non-perfect field
Status report
0.25
27 Sep 2022
John Abbott
Testing
Slug #750
: C5 GUI: very slow when printing many short lines
Update
0.50
26 Sep 2022
John Abbott
Testing
Bug #100
: BringIn should map only the indets in its arg
Status 2022-09-26
0.25
15 Sep 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Almost done
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
Bug #1093
: GUI: bugs and slugs
Intr mesgs
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
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
13 Jun 2022
John Abbott
Testing
Support #1471
: Release CoCoA-5.4.0
Close?
0.10
16 Mar 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Checked in
1.00
12 Mar 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Works for me
0.40
03 Mar 2022
John Abbott
Testing
Feature #1526
: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Clarification
0.20
25 Feb 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
It works!
4.00
24 Feb 2022
John Abbott
Testing
Support #530
: Interpreter error message: "for" with missing "do"
Useful?
0.10
23 Feb 2022
John Abbott
Testing
Support #1447
: Manual entry for RandomLinearForm
Seems OK now
0.25
23 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Seems OK now
0.40
18 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Add to pre-release checks?
0.10
16 Feb 2022
John Abbott
Testing
Design #1504
: OnlineHelp: XMLFileName
Close?
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
Support #1455
: In a release: which files inside the CoCoAManual
Soon find out
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
Testing
Bug #1524
: wrong SystemCommand exit value
Reliability
0.25
16 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Suggestion
0.20
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
09 Feb 2022
Anna Maria Bigatti
Testing
Bug #946
: Function "ideal" evaluates the argument twice
0.50
06 Feb 2022
John Abbott
Testing
Support #1471
: Release CoCoA-5.4.0
3 platforms OK
0.50
03 Feb 2022
John Abbott
Testing
Design #1407
: Tagged values (Hilbert Series)
Feedback
0.10
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
Testing
Bug #1443
: Illegal instruction
Closing
0.20
03 Feb 2022
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Status?
0.10
03 Feb 2022
John Abbott
Testing
Design #1504
: OnlineHelp: XMLFileName
Status?
0.10
03 Feb 2022
John Abbott
Testing
Bug #1651
: SEGV subsets ??
Closing
0.20
26 Jan 2022
John Abbott
Testing
Bug #1651
: SEGV subsets ??
Ulimit
0.10
25 Jan 2022
John Abbott
Testing
Bug #1651
: SEGV subsets ??
Some notes
0.10
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
07 Dec 2021
John Abbott
Testing
Bug #1639
: RealRoots: crashes after interrupting
Some notes
0.25
26 Nov 2021
John Abbott
Testing
Slug #1629
: RingElem slow with many indets
Simpler test
0.20
22 Nov 2021
John Abbott
Testing
Bug #1634
: Unexpected or unhelpful error using GroebnerFanIdeals
Simpler failing example
0.10
12 Nov 2021
John Abbott
Testing
Feature #1526
: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Test
0.10
12 Nov 2021
John Abbott
Testing
Support #1398
: Website: hide/delete all the CoCoA-4 stuff?
Seems OK now
0.15
12 Nov 2021
John Abbott
Testing
Feature #1616
: UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
0.10
10 Nov 2021
John Abbott
Testing
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
No complaints?
0.20
10 Nov 2021
John Abbott
Testing
Bug #1610
: IsInRadical: some more little bugs
Close?
0.10
10 Nov 2021
John Abbott
Testing
Bug #1412
: Emacs UI: font size
0.20
10 Nov 2021
John Abbott
Testing
Bug #1613
: CRASH with RingHom from FrF
0.10
10 Nov 2021
John Abbott
Testing
Bug #1614
: SourceRegion gives misleading error mesg
0.15
05 Nov 2021
John Abbott
Testing
Design #1568
: RMap and image: obsolescent?
Commented out
0.25
04 Nov 2021
John Abbott
Testing
Bug #1397
: Crashes if CoCoAHelp.xml is missing
No longer crashes
0.20
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
30 Oct 2021
John Abbott
Testing
Bug #1502
: SystemCommand in Microsoft version
Clue city
2.00
21 Oct 2021
John Abbott
Testing
Bug #1624
: CantStop playing CantStop
CRash
0.10
21 Oct 2021
John Abbott
Testing
Bug #1624
: CantStop playing CantStop
OK on linux
0.10
18 Oct 2021
John Abbott
Testing
Bug #1622
: BuiltinOneLiners -- less precise location in error messages
Example
0.10
18 Oct 2021
John Abbott
Testing
Bug #928
: ciao, exit, quit can be used not only at top level
Still a problem
0.20
12 Oct 2021
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Check!
0.10
12 Oct 2021
John Abbott
Testing
Slug #1581
: Slow sqfr: rad(f)
Still a problem
0.25
12 Oct 2021
John Abbott
Testing
Bug #1443
: Illegal instruction
Progress?
0.20
04 Oct 2021
John Abbott
Testing
Design #1615
: apply: remove for RingHom
Duplicate
0.20
24 Sep 2021
John Abbott
Testing
Feature #1536
: Implement xel?
0.20
24 Sep 2021
John Abbott
Testing
Bug #1215
: RationalSolve: gives "Error: must be non-zero"
Unclear
0.15
24 Sep 2021
John Abbott
Testing
Bug #1537
: EmacUI: strange colours, sometimes
Seems OK now
0.20
24 Sep 2021
John Abbott
Testing
Bug #1573
: ApproxSolve: very imprecise
Surprise!
0.20
24 Sep 2021
John Abbott
Testing
Slug #1392
: ApproxSolve: another slow example
0.10
24 Sep 2021
John Abbott
Testing
Bug #1539
: Website: installation instructions for Microsoft
Imminent testing
0.10
24 Sep 2021
John Abbott
Testing
Bug #1531
: CRASH: arithmetic with HilbertSeries (tagged object)
Closing
0.25
24 Sep 2021
John Abbott
Testing
Bug #1216
: RationalSolve: gives wrong answer
Closing
0.15
30 Jul 2021
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
To check
0.10
10 Jun 2021
Anna Maria Bigatti
Testing
Design #1568
: RMap and image: obsolescent?
0.50
10 Jun 2021
Anna Maria Bigatti
Testing
Slug #687
: Builtin fn makes unnecessary copy of arg
0.20
28 May 2021
John Abbott
Testing
Slug #96
: sort is too slow
Currently
0.10
28 May 2021
John Abbott
Testing
Slug #687
: Builtin fn makes unnecessary copy of arg
Seems OK now
0.25
27 May 2021
John Abbott
Testing
Bug #1595
: Bad input causes crash
Impromptu testing
0.25
14 May 2021
John Abbott
Testing
Feature #500
: Interpreter: is it possible to avoid useless prompts?
Better now
0.30
14 May 2021
John Abbott
Testing
Support #911
: CoCoA-5 prompt for incomplete input
Seems OK
0.10
14 May 2021
John Abbott
Testing
Bug #1595
: Bad input causes crash
More test inputs
0.20
14 May 2021
Anna Maria Bigatti
Testing
Bug #1594
: Parser bug: missing close square bracket
0.20
13 May 2021
John Abbott
Testing
Bug #1595
: Bad input causes crash
Some notes
0.20
12 May 2021
John Abbott
Testing
Bug #1594
: Parser bug: missing close square bracket
Grrr
0.25
12 May 2021
John Abbott
Testing
Bug #1594
: Parser bug: missing close square bracket
More failing cases
0.20
11 May 2021
John Abbott
Testing
Bug #1594
: Parser bug: missing close square bracket
More test inputs
0.20
10 May 2021
John Abbott
Testing
Bug #1594
: Parser bug: missing close square bracket
Odd!
0.25
10 May 2021
John Abbott
Testing
Bug #1594
: Parser bug: missing close square bracket
Confirm on Linux
0.10
19 Apr 2021
John Abbott
Testing
Support #448
: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
Andraschko?
0.10
02 Apr 2021
John Abbott
Testing
Support #1287
: Better err mesg for easy typo in ring definition
Approved by Anna
0.40
02 Apr 2021
Anna Maria Bigatti
Testing
Design #1493
: Automatic ring mapping in assignment?
0.20
19 Mar 2021
John Abbott
Testing
Bug #1406
: Poor memory management?
A better test
0.25
19 Mar 2021
John Abbott
Testing
Bug #1567
: Radical in non-zero char
Closing
0.25
19 Mar 2021
John Abbott
Testing
Feature #346
: Describe should indicate package name
Closing
0.20
19 Mar 2021
John Abbott
Testing
Bug #724
: RationalSolve: wrongly complains about non zero-dim even in finite char
Closing
0.20
19 Mar 2021
Anna Maria Bigatti
Testing
Feature #1112
: New function: IsEmpty
0.50
16 Mar 2021
John Abbott
Testing
Feature #500
: Interpreter: is it possible to avoid useless prompts?
Vandalism
0.40
16 Mar 2021
John Abbott
Testing
Feature #500
: Interpreter: is it possible to avoid useless prompts?
Seems OK
0.30
15 Mar 2021
John Abbott
Testing
Feature #368
: port SmithNormalForm (CoCoA-4)package to CoCoA-5
Unexpected error
0.50
15 Mar 2021
John Abbott
Testing
Feature #500
: Interpreter: is it possible to avoid useless prompts?
Test cases
0.40
12 Mar 2021
John Abbott
Testing
Feature #500
: Interpreter: is it possible to avoid useless prompts?
Did not work (as expected)
0.40
12 Mar 2021
John Abbott
Testing
Feature #133
: Qt GUI: Make better distinction between input and output in the output window
Short note
0.10
04 Mar 2021
John Abbott
Testing
Design #1546
: Improve 'describe' or 'print' for a function
0.10
04 Mar 2021
John Abbott
Testing
Support #1298
: How can user find the indent command?
0.20
04 Mar 2021
John Abbott
Testing
Design #1554
: cocoa5-emacs-dir or cocoa5-root-dir?
0.20
02 Mar 2021
John Abbott
Testing
Support #911
: CoCoA-5 prompt for incomplete input
Revised
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
19 Feb 2021
John Abbott
Testing
Feature #1112
: New function: IsEmpty
Slower than hoped
0.25
18 Feb 2021
John Abbott
Testing
Feature #250
: CoCoALib BuildInfo vs CoCoA-5 VersionInfo
Out of date
0.10
18 Feb 2021
John Abbott
Testing
Bug #1396
: Website: download page for CoCoA-4 burns CPU
Still a problem
0.10
18 Feb 2021
John Abbott
Testing
Bug #1215
: RationalSolve: gives "Error: must be non-zero"
Duplicate?
0.20
17 Feb 2021
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Some progress
1.50
16 Feb 2021
John Abbott
Testing
Slug #1392
: ApproxSolve: another slow example
Seems OK now
0.20
15 Feb 2021
John Abbott
Testing
Bug #1577
: radical: lex order, ERROR: Ring is not standard graded
Error mesg
0.40
15 Feb 2021
John Abbott
Testing
Bug #1567
: Radical in non-zero char
Checked in
0.20
12 Feb 2021
John Abbott
Testing
Bug #724
: RationalSolve: wrongly complains about non zero-dim even in finite char
Mmmm
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
Slug #1270
: RationalSolve: use MinPolyQuot instead of elim
Seems OK now
0.20
12 Feb 2021
John Abbott
Testing
Support #1252
: ShapeLemma: no manual entry
Status?
0.10
09 Feb 2021
John Abbott
Testing
Bug #727
: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized
Got burned
0.50
03 Feb 2021
John Abbott
Testing
Bug #1574
: ApproxSolveTF
Some notes
0.25
31 Jan 2021
John Abbott
Testing
Bug #1216
: RationalSolve: gives wrong answer
Another example
0.10
30 Jan 2021
John Abbott
Testing
Bug #1573
: ApproxSolve: very imprecise
Some notes
0.50
29 Jan 2021
John Abbott
Testing
Design #1520
: Replace BOOST_FOREACH by new C++14 range for syntax
0.15
29 Jan 2021
John Abbott
Testing
Feature #1516
: substring function
0.20
15 Jan 2021
John Abbott
Testing
Design #1546
: Improve 'describe' or 'print' for a function
Seems OK now
0.20
08 Jan 2021
John Abbott
Testing
Design #1530
: VersionInfo -- better field names?
0.10
08 Jan 2021
John Abbott
Testing
Support #1498
: Export many names or just one?
0.10
08 Jan 2021
John Abbott
Testing
Bug #1527
: Inadequate error message on incorrect list access
0.10
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
11 Dec 2020
John Abbott
Testing
Design #1550
: version number for CoCoA5 snapshot release?
First test
0.20
03 Dec 2020
John Abbott
Testing
Bug #1514
: Cocoa crashes when calling RingElems
Test case
0.30
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
03 Nov 2020
John Abbott
Testing
Bug #1527
: Inadequate error message on incorrect list access
Current state
0.20
30 Oct 2020
John Abbott
Testing
Feature #1509
: RingElems with empty input
Checked in
0.10
29 Oct 2020
Anna Maria Bigatti
Testing
Feature #1526
: EmacsUI: help/manual for selected string -- or just for word with cursor on?
0.20
29 Oct 2020
Anna Maria Bigatti
Testing
Feature #1526
: EmacsUI: help/manual for selected string -- or just for word with cursor on?
0.30
26 Oct 2020
John Abbott
Testing
Bug #1514
: Cocoa crashes when calling RingElems
Workaround
0.20
22 Oct 2020
John Abbott
Testing
Design #635
: Automatic mapping of RingElem (in operation with a compound value)
Correction
0.20
20 Oct 2020
John Abbott
Testing
Slug #875
: Interpreter is too slow reading a big polynomial
Workaound
0.25
20 Oct 2020
John Abbott
Testing
Feature #1479
: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
Some tests
1.00
16 Oct 2020
John Abbott
Testing
Design #1495
: Package exporting nothing?
Lost test
0.20
14 Oct 2020
Anna Maria Bigatti
Testing
Bug #1505
: EmacsUI: fix "Go to Error C-c C-p"
0.20
14 Oct 2020
John Abbott
Testing
Bug #1489
: Unhelpful error message for package followed by identifier (without dollar sign)
0.25
11 Oct 2020
John Abbott
Testing
Feature #1479
: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
Speed
0.25
09 Oct 2020
John Abbott
Testing
Design #1348
: cocoa5 script for releases
Closing
0.44
09 Oct 2020
John Abbott
Testing
Feature #1487
: EOF for OpenIFile
Closing
0.25
08 Oct 2020
John Abbott
Testing
Design #637
: Undesirable consequence of automatic mapping of RingElems?
Update
0.10
07 Oct 2020
John Abbott
Testing
Design #1501
: testing for syntax errors
Some notes
0.50
03 Oct 2020
John Abbott
Testing
Bug #1489
: Unhelpful error message for package followed by identifier (without dollar sign)
Tests
0.30
03 Oct 2020
John Abbott
Testing
Design #1495
: Package exporting nothing?
Testing... some questions
1.00
23 Sep 2020
John Abbott
Testing
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
First impl
1.50
17 Sep 2020
John Abbott
Testing
Feature #1415
: thmproving package
News?
0.10
10 Aug 2020
John Abbott
Testing
Support #1451
: CoCoA Manual: make search keys public
Tested
0.20
10 Aug 2020
John Abbott
Testing
Design #1477
: Packages: questions from Andraschko
Some notes
0.20
07 Aug 2020
John Abbott
Testing
Bug #1443
: Illegal instruction
Progress?
0.50
07 Aug 2020
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Mysterious
0.40
07 Aug 2020
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Seems OK now
0.20
01 May 2020
John Abbott
Testing
Support #1450
: Release CoCoA-5.3.2
Some notes
0.25
30 Apr 2020
John Abbott
Testing
Support #1222
: Release CoCoA-5.3.0
Not longer relevant
0.10
30 Apr 2020
John Abbott
Testing
Feature #1367
: CoCoA-5.3.0: release linked with more recent version of normaliz
Close?
0.10
17 Apr 2020
Anna Maria Bigatti
Testing
Bug #1448
: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
0.20
17 Apr 2020
John Abbott
Testing
Bug #1448
: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
Amazing!
0.20
20 Mar 2020
John Abbott
Testing
Design #990
: CoCoA-5 distribution: tidying
Test results
0.20
20 Mar 2020
John Abbott
Testing
Feature #1367
: CoCoA-5.3.0: release linked with more recent version of normaliz
OK now?
0.10
14 Mar 2020
John Abbott
Testing
Bug #1443
: Illegal instruction
Annoying
1.50
14 Mar 2020
John Abbott
Testing
Bug #1443
: Illegal instruction
Seems to be GMP
0.30
12 Mar 2020
John Abbott
Testing
Bug #1442
: CoCoAInterpreter: executable size
Closing
0.30
12 Mar 2020
John Abbott
Testing
Bug #1443
: Illegal instruction
Maybe...
0.20
12 Mar 2020
John Abbott
Testing
Bug #1443
: Illegal instruction
Oh
0.20
12 Mar 2020
John Abbott
Testing
Bug #1442
: CoCoAInterpreter: executable size
Seems OK now
0.25
11 Mar 2020
John Abbott
Testing
Support #240
: GUI compilation: GMP is not naturally thread-safe
No one cares
0.20
11 Mar 2020
John Abbott
Testing
Bug #1443
: Illegal instruction
Waiting for Feedback?
0.10
10 Mar 2020
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
More details
0.20
09 Mar 2020
John Abbott
Testing
Design #990
: CoCoA-5 distribution: tidying
Mac release
0.20
09 Mar 2020
John Abbott
Testing
Bug #1438
: ABORT for unterminated string literal
Seems OK now
0.10
08 Mar 2020
John Abbott
Testing
Support #1440
: Surprising parser error: INT+DOT+IDENTIFIER
Some notes
0.20
06 Mar 2020
John Abbott
Testing
Feature #1399
: CoCoA-5 interpreter: idle/busy indicator
OK now
0.20
04 Mar 2020
John Abbott
Testing
Support #1071
: LinKerBasis is user-unfriendly
Needs improvement
0.20
04 Mar 2020
John Abbott
Testing
Bug #660
: Emacs UI: endfunc does not indent the line
Clue city
0.30
04 Mar 2020
John Abbott
Testing
Bug #660
: Emacs UI: endfunc does not indent the line
Confirmed
0.10
04 Mar 2020
John Abbott
Testing
Design #997
: Using protected variable names for "bound variables" (e.g. for, try...endtry)
Agreed
0.10
04 Mar 2020
John Abbott
Testing
Feature #1399
: CoCoA-5 interpreter: idle/busy indicator
Slightly unfortunate
0.25
04 Mar 2020
John Abbott
Testing
Bug #945
: Emacs UI: comint buffer silently truncates(?) long lines when sending
Already done
0.10
04 Mar 2020
John Abbott
Testing
Slug #991
: make htmldoc always recreates everything (even if no change was made)
Out of date?
0.20
04 Mar 2020
John Abbott
Testing
Bug #1224
: Lexer: unclosed multi-line comment
Seems OK
0.20
03 Mar 2020
John Abbott
Testing
Bug #672
: Emacs UI: strange string literal causes crash
Undecided
0.15
03 Mar 2020
John Abbott
Testing
Bug #672
: Emacs UI: strange string literal causes crash
Seems to be impossible
1.00
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
Testing
Bug #1303
: Manual looking for "?"
Some notes
0.40
02 Mar 2020
John Abbott
Testing
Bug #1224
: Lexer: unclosed multi-line comment
Still a problem?
0.30
02 Mar 2020
John Abbott
Testing
Bug #672
: Emacs UI: strange string literal causes crash
Another idea
0.25
02 Mar 2020
John Abbott
Testing
Bug #458
: CoCoA5 GUI; failed build "wrong architecture"
Too old?
0.20
26 Feb 2020
John Abbott
Testing
Feature #1289
: assert-function for cocoa5
0.10
26 Feb 2020
John Abbott
Testing
Bug #1421
: SEGV: error("")
0.10
26 Feb 2020
John Abbott
Testing
Bug #1424
: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
Checked
0.75
26 Feb 2020
John Abbott
Testing
Bug #1424
: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
Almost done
0.50
26 Feb 2020
John Abbott
Testing
Bug #1424
: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
Another test case
0.25
25 Feb 2020
John Abbott
Testing
Bug #1424
: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
Confirmed
0.10
20 Feb 2020
John Abbott
Testing
Support #1404
: Which commands should "terms" be a keyword for?
Current state
0.20
20 Feb 2020
John Abbott
Testing
Feature #1289
: assert-function for cocoa5
Checked
0.30
19 Feb 2020
John Abbott
Testing
Feature #1236
: Add "socket" devices
Closing
0.30
17 Feb 2020
John Abbott
Testing
Support #240
: GUI compilation: GMP is not naturally thread-safe
Out of date?
0.20
17 Feb 2020
John Abbott
Testing
Feature #1367
: CoCoA-5.3.0: release linked with more recent version of normaliz
Try latest version
0.10
15 Feb 2020
John Abbott
Testing
Bug #1335
: ManExamples: some problems
Current state
0.25
15 Feb 2020
John Abbott
Testing
Feature #1290
: NewPolyRing: allow symbols with just head and no indices?
Works now
0.25
13 Feb 2020
John Abbott
Testing
Support #1318
: Clean CoCoA-5/tests directory
Done
0.40
13 Feb 2020
John Abbott
Testing
Feature #673
: Error message: I was expecting...
Seems OK
0.15
13 Feb 2020
John Abbott
Testing
Feature #1364
: Emacs UI: start cocoa5 with system command enabled
Done
0.10
13 Feb 2020
John Abbott
Testing
Bug #1286
: Website: trouble with the world map
Still a problem
0.20
13 Feb 2020
John Abbott
Testing
Feature #1358
: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
OK now
0.25
13 Feb 2020
John Abbott
Testing
Bug #1230
: PrimaryDecomposition with lex ordering
Works now
0.25
13 Feb 2020
Anna Maria Bigatti
Testing
Bug #1230
: PrimaryDecomposition with lex ordering
0.20
05 Feb 2020
Anna Maria Bigatti
Testing
Bug #1412
: Emacs UI: font size
0.20
19 Jan 2020
John Abbott
Testing
Support #1315
: Manual entry about reporting bugs?
Original problem?
0.10
19 Jan 2020
John Abbott
Testing
Slug #1390
: CoCoA-5 test: radical too slow
Removed ulimit
0.10
16 Jan 2020
Anna Maria Bigatti
Testing
Slug #1392
: ApproxSolve: another slow example
1.00
16 Jan 2020
John Abbott
Testing
Design #1334
: sylvester or SylvesterMat?
Added test
0.50
16 Jan 2020
John Abbott
Testing
Design #1334
: sylvester or SylvesterMat?
Closing
0.25
16 Jan 2020
John Abbott
Testing
Bug #1230
: PrimaryDecomposition with lex ordering
Status?
0.10
13 Jan 2020
John Abbott
Testing
Slug #1392
: ApproxSolve: another slow example
Some notes
0.25
10 Jan 2020
John Abbott
Testing
Slug #1390
: CoCoA-5 test: radical too slow
Disabled
0.25
10 Jan 2020
John Abbott
Testing
Slug #1390
: CoCoA-5 test: radical too slow
Netbook
0.50
09 Jan 2020
John Abbott
Testing
Bug #1384
: NewPolyRing and SymbolRange
OK for me
0.10
09 Jan 2020
John Abbott
Testing
Slug #1390
: CoCoA-5 test: radical too slow
Some notes
0.25
09 Jan 2020
John Abbott
Testing
Design #1352
: cocoa5 (launch) script: sleep time
Seems OK
0.10
08 Jan 2020
John Abbott
Testing
Bug #1382
: SEGV: should have been harmless
Checked in
0.15
08 Jan 2020
Anna Maria Bigatti
Testing
Bug #1383
: NewPolyRing on MS Windows
0.20
08 Jan 2020
John Abbott
Testing
Bug #1383
: NewPolyRing on MS Windows
OK now
0.20
08 Jan 2020
John Abbott
Testing
Bug #1383
: NewPolyRing on MS Windows
Resolved?
0.25
07 Jan 2020
John Abbott
Testing
Bug #1383
: NewPolyRing on MS Windows
Add new test
0.10
07 Jan 2020
John Abbott
Testing
Bug #1384
: NewPolyRing and SymbolRange
Some notes
0.25
16 Dec 2019
John Abbott
Testing
Bug #1093
: GUI: bugs and slugs
Problems with C++14
1.00
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
09 Dec 2019
John Abbott
Testing
Feature #1374
: Add function power to CoCoA-5
No test?
0.10
24 Nov 2019
John Abbott
Testing
Support #1368
: Improve manual for mod
Manual and code disagree
0.40
09 Nov 2019
Anna Maria Bigatti
Testing
Feature #1358
: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
0.50
30 Oct 2019
John Abbott
Testing
Slug #480
: gcd too slow for large degree univariate poly
Still a problem
0.20
30 Oct 2019
John Abbott
Testing
Support #1222
: Release CoCoA-5.3.0
32-bit
0.20
26 Oct 2019
Anna Maria Bigatti
Testing
Bug #1325
: Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
0.20
25 Oct 2019
John Abbott
Testing
Bug #1325
: Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
Test case
0.50
25 Oct 2019
John Abbott
Testing
Feature #673
: Error message: I was expecting...
More tests
0.50
24 Oct 2019
John Abbott
Testing
Feature #673
: Error message: I was expecting...
CVS
0.10
23 Oct 2019
John Abbott
Testing
Design #1348
: cocoa5 script for releases
Annoying
0.50
22 Oct 2019
Anna Maria Bigatti
Testing
Slug #1284
: CartesianProductList: too slow
0.20
22 Oct 2019
Anna Maria Bigatti
Testing
Bug #1288
: len for RINGELEM ?!?
0.20
21 Oct 2019
John Abbott
Testing
Slug #1270
: RationalSolve: use MinPolyQuot instead of elim
Slow example
0.50
16 Oct 2019
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Checking
0.15
16 Oct 2019
John Abbott
Testing
Bug #1288
: len for RINGELEM ?!?
Mostly done
0.40
16 Oct 2019
John Abbott
Testing
Slug #1284
: CartesianProductList: too slow
All done
0.25
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
Testing
Bug #1230
: PrimaryDecomposition with lex ordering
0.50
11 Oct 2019
John Abbott
Testing
Bug #1335
: ManExamples: some problems
StandardInput
0.20
11 Oct 2019
John Abbott
Testing
Feature #1236
: Add "socket" devices
Close to closing?
0.10
11 Oct 2019
John Abbott
Testing
Bug #1230
: PrimaryDecomposition with lex ordering
Done?
0.10
11 Oct 2019
John Abbott
Testing
Bug #1274
: SortBy and SortedBy sometimes give wrong result
Fixed
0.10
11 Oct 2019
John Abbott
Testing
Design #1334
: sylvester or SylvesterMat?
Some questions
0.10
10 Oct 2019
John Abbott
Testing
Bug #1261
: ASCII function
Closing
0.20
09 Oct 2019
John Abbott
Testing
Bug #1335
: ManExamples: some problems
More notes
0.25
09 Oct 2019
John Abbott
Testing
Bug #1335
: ManExamples: some problems
Some notes
2.00
02 Oct 2019
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Close?
0.20
02 Oct 2019
John Abbott
Testing
Bug #1226
: ExternalLibs return empty list
Closing
0.20
01 Oct 2019
John Abbott
Testing
Bug #1230
: PrimaryDecomposition with lex ordering
Works now
0.10
01 Oct 2019
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Check
0.10
01 Oct 2019
John Abbott
Testing
Bug #1321
: RealRoots fails on -x^2
Added test
0.15
27 Sep 2019
John Abbott
Testing
Support #1318
: Clean CoCoA-5/tests directory
test-output fails
0.20
27 Sep 2019
John Abbott
Testing
Bug #1286
: Website: trouble with the world map
No image
0.25
27 Sep 2019
Anna Maria Bigatti
Testing
Feature #1231
: system command
0.20
27 Sep 2019
John Abbott
Testing
Bug #1322
: SEGV when debugging is active
Test
0.20
25 Sep 2019
John Abbott
Testing
Support #1318
: Clean CoCoA-5/tests directory
List
0.25
24 Sep 2019
John Abbott
Testing
Bug #1286
: Website: trouble with the world map
Compromise
0.25
11 Sep 2019
John Abbott
Testing
Bug #1286
: Website: trouble with the world map
Still a problem
0.20
05 Sep 2019
John Abbott
Testing
Bug #1307
: Linking problem
Some notes
1.00
27 Aug 2019
John Abbott
Testing
Bug #1261
: ASCII function
Feedback
0.10
23 May 2019
John Abbott
Testing
Bug #1286
: Website: trouble with the world map
Some notes
0.25
23 May 2019
John Abbott
Testing
Design #1120
: Web site
Close?
0.10
22 May 2019
John Abbott
Testing
Slug #1284
: CartesianProductList: too slow
Some notes
0.50
11 May 2019
John Abbott
Testing
Support #1006
: External dependencies for building
Why java?
0.25
03 Apr 2019
John Abbott
Testing
Design #474
: Eliminate package BinRepr
Status?
0.25
03 Apr 2019
John Abbott
Testing
Feature #1012
: Chebyshev polynomials
Already done
0.20
02 Apr 2019
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
New timings
0.25
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
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
John Abbott
Testing
Feature #1262
: Split BuiltinFunctions-CoCoALib.C into smaller files
Promises... promises!
0.10
04 Mar 2019
John Abbott
Testing
Feature #1247
: sleep function
Accepted
0.90
15 Feb 2019
John Abbott
Testing
Bug #1226
: ExternalLibs return empty list
Semantics
0.10
15 Feb 2019
Anna Maria Bigatti
Testing
Design #476
: Review utility of package IO
0.50
15 Feb 2019
Anna Maria Bigatti
Testing
Bug #1226
: ExternalLibs return empty list
0.20
13 Feb 2019
John Abbott
Testing
Feature #1236
: Add "socket" devices
One small problem
0.10
02 Oct 2018
John Abbott
Testing
Slug #1228
: SLUG: filling an array
Maybe...
0.20
07 Aug 2018
John Abbott
Testing
Bug #1216
: RationalSolve: gives wrong answer
More failing examples
0.20
07 Aug 2018
John Abbott
Testing
Feature #723
: Referring to indets with multiple indices from a polyring
Example still fails
0.10
06 Aug 2018
John Abbott
Testing
Slug #907
: ApproxSolve very slow on this example
Seems OK now
0.20
31 Jul 2018
Anna Maria Bigatti
Testing
Slug #907
: ApproxSolve very slow on this example
0.50
30 Jul 2018
John Abbott
Testing
Feature #1007
: (makefile) New "clean" target which does not clean documentation
Works well enough
0.10
30 Jul 2018
John Abbott
Testing
Support #1188
: Product of empty list: manual and code disagree
Closing
0.10
30 Jul 2018
John Abbott
Testing
Feature #1122
: New fn: RandomLinearForm
Seems OK now
0.10
30 Jul 2018
John Abbott
Testing
Bug #1189
: HilbertBasisKer: unhelpful error with some inputs
Seems OK now
0.10
30 Jul 2018
John Abbott
Testing
Bug #1190
: HilbertBasisKer: SEGV (again)
Seems OK now
0.10
26 Jul 2018
John Abbott
Testing
Bug #1191
: ApproxSolve: log(0) on some examples
Seems OK now
0.10
26 Jul 2018
John Abbott
Testing
Feature #1007
: (makefile) New "clean" target which does not clean documentation
Good enough?
0.15
25 Jul 2018
John Abbott
Testing
Design #1075
: LaTeX package: power-product printing
Close?
0.25
25 Jun 2018
Anna Maria Bigatti
Testing
Bug #1189
: HilbertBasisKer: unhelpful error with some inputs
0.50
25 Jun 2018
Anna Maria Bigatti
Testing
Bug #1190
: HilbertBasisKer: SEGV (again)
0.50
14 Jun 2018
John Abbott
Testing
Feature #978
: CommonDenom: for polys and lists?
Mostly done?
0.20
16 May 2018
John Abbott
Testing
Feature #1122
: New fn: RandomLinearForm
Slow?
0.25
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
23 Mar 2018
Anna Maria Bigatti
Testing
Slug #948
: radical is slow (compared to singular) on these examples
0.50
25 Jan 2018
John Abbott
Testing
Design #1151
: ConcatList or ConcatLists
Some notes
0.25
16 Jan 2018
John Abbott
Testing
Bug #275
: Unhelpful error messages when SmallExponent_t is unsigned char.
Seems OK now
1.00
16 Jan 2018
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
Readline is troublesome too
1.50
16 Jan 2018
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
Readline is troublesome too
1.50
16 Jan 2018
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
Readline is troublesome too
1.50
19 Dec 2017
Anna Maria Bigatti
Testing
Support #1061
: Release: CoCoA-5.2.2
0.50
18 Dec 2017
Anna Maria Bigatti
Testing
Support #1061
: Release: CoCoA-5.2.2
general checks, minor changes in index for cocoalib doc
1.00
15 Dec 2017
Anna Maria Bigatti
Testing
Feature #1142
: NewZZmod: port to CoCoA-5
1.00
15 Dec 2017
John Abbott
Testing
Feature #988
: Makefile: install target for cocoa5
Good enough?
0.25
15 Dec 2017
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Postponed
0.20
13 Dec 2017
John Abbott
Testing
Slug #798
: use poly ring with many variables is too slow
Seems OK
0.25
12 Dec 2017
John Abbott
Testing
Bug #1139
: Radical problems
Another example
0.10
12 Dec 2017
John Abbott
Testing
Bug #1139
: Radical problems
Another example
0.25
12 Dec 2017
John Abbott
Testing
Design #1137
: Latex: ideal
OK, done
0.20
12 Dec 2017
John Abbott
Testing
Bug #1139
: Radical problems
A hint
0.10
11 Dec 2017
Anna Maria Bigatti
Testing
Support #439
: CoCoA website: download pages and installing instructions
1.00
11 Dec 2017
Anna Maria Bigatti
Testing
Bug #1100
: PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
0.20
11 Dec 2017
Anna Maria Bigatti
Testing
Bug #1080
: intersect: problem with zero generators
0.20
20 Nov 2017
Anna Maria Bigatti
Testing
Bug #545
: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
0.50
15 Nov 2017
John Abbott
Testing
Bug #697
: Interpreter: Avoid outputting an empty line after each line of input
OK
0.10
15 Nov 2017
John Abbott
Testing
Support #940
: Check all fns in packages work even without BackwardCompatible.cpkg5
Closing
0.20
15 Nov 2017
John Abbott
Testing
Slug #1109
: Emacs UI can be slow in M$ Windows
Seems OK
0.20
15 Nov 2017
John Abbott
Testing
Slug #1025
: Example of slow LEX GBasis computation
More examples
0.75
13 Nov 2017
John Abbott
Testing
Support #265
: Linking problems in CoCoA-5 GUI
Grrr!
0.11
13 Nov 2017
John Abbott
Testing
Slug #741
: C5 GUI: slow to close
Closing
0.15
13 Nov 2017
John Abbott
Testing
Feature #1084
: New function: PrevPrime
Seems OK now
0.30
13 Nov 2017
John Abbott
Testing
Bug #1087
: EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
Seems OK now
0.10
13 Nov 2017
John Abbott
Testing
Bug #1095
: TimeOut not working as hoped/expected
Closing
0.10
09 Nov 2017
John Abbott
Testing
Bug #672
: Emacs UI: strange string literal causes crash
Mystery
0.50
09 Nov 2017
John Abbott
Testing
Bug #672
: Emacs UI: strange string literal causes crash
comint problem
0.30
31 Oct 2017
John Abbott
Testing
Slug #1114
: Some other examples for 0-dim radical
Example with big answer
0.10
31 Oct 2017
John Abbott
Testing
Slug #1114
: Some other examples for 0-dim radical
Some examples
0.25
05 Oct 2017
John Abbott
Testing
Slug #907
: ApproxSolve very slow on this example
0.25
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
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
12 Sep 2017
John Abbott
Testing
Bug #1100
: PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
Useful?
0.25
12 Sep 2017
John Abbott
Testing
Bug #1100
: PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
Added tests?
0.20
23 Jul 2017
John Abbott
Testing
Bug #1093
: GUI: bugs and slugs
Some notes
0.50
04 Jul 2017
John Abbott
Testing
Bug #1087
: EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
Workaround?
0.20
20 Jun 2017
John Abbott
Testing
Bug #1080
: intersect: problem with zero generators
Add tests
0.20
12 Jun 2017
John Abbott
Testing
Bug #670
: Error column indicator misaligned with non-printing (unprintable) characters
Already done
0.25
23 May 2017
Anna Maria Bigatti
Testing
Bug #1062
: IsRadical bug?
0.20
22 May 2017
John Abbott
Testing
Support #1074
: CoCoAManual: entry for radical
Needs to be checked
0.25
22 May 2017
John Abbott
Testing
Bug #1062
: IsRadical bug?
Ummm
0.25
18 May 2017
John Abbott
Testing
Feature #1072
: syz: apply to ModuleElem?
Zero coord
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
Anna Maria Bigatti
Testing
Bug #1062
: IsRadical bug?
0.30
16 May 2017
John Abbott
Testing
Design #943
: Managing credits
Small problem
0.20
10 May 2017
John Abbott
Testing
Bug #1062
: IsRadical bug?
Add test
0.25
09 May 2017
Anna Maria Bigatti
Testing
Bug #1062
: IsRadical bug?
0.30
09 May 2017
John Abbott
Testing
Bug #1062
: IsRadical bug?
SEGV example
0.10
09 May 2017
John Abbott
Testing
Bug #1062
: IsRadical bug?
SEGV
0.10
09 May 2017
John Abbott
Testing
Bug #1062
: IsRadical bug?
Another example
0.25
06 May 2017
Anna Maria Bigatti
Testing
Support #851
: Release: CoCoA-5.2.0
0.50
05 May 2017
Anna Maria Bigatti
Testing
Support #851
: Release: CoCoA-5.2.0
0.60
02 May 2017
John Abbott
Testing
Support #265
: Linking problems in CoCoA-5 GUI
Still happens?
0.20
28 Apr 2017
John Abbott
Testing
Support #973
: GroebnerFanIdeals: verbosity and output style
Seems fine
0.10
28 Apr 2017
John Abbott
Testing
Support #521
: Manual: automatically check all examples
OK
0.10
27 Apr 2017
Anna Maria Bigatti
Testing
Support #851
: Release: CoCoA-5.2.0
0.20
27 Apr 2017
John Abbott
Testing
Bug #1046
: CoCoA-5 no longer lists the external libs present
Seems OK now
0.10
27 Apr 2017
John Abbott
Testing
Slug #405
: ReducedGBasis not memorized in an ideal
Closing
0.10
27 Apr 2017
John Abbott
Testing
Slug #798
: use poly ring with many variables is too slow
Postponing
0.10
27 Apr 2017
John Abbott
Testing
Feature #877
: Easier syntax to make a PRINCIPAL ideal?
Closing
0.10
27 Apr 2017
John Abbott
Testing
Feature #909
: ReadExpr: decimal point
Closing
0.10
27 Apr 2017
John Abbott
Testing
Feature #711
: External Libs: print credits?
Closing
0.20
27 Apr 2017
John Abbott
Testing
Bug #1028
: Readline: cursor moves wrongly when at start of line with a prompt
Closing
0.10
27 Apr 2017
John Abbott
Testing
Bug #1002
: Emacs UI: cocoa5-send-line skips too many chars
Seems OK now
0.10
27 Apr 2017
John Abbott
Testing
Bug #748
: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
Seems OK now
0.10
26 Apr 2017
Anna Maria Bigatti
Testing
Feature #1038
: Emacs: sent interrupt to CoCoA
0.20
19 Apr 2017
John Abbott
Testing
Feature #996
: New function: IdealOfGBasis
Error
0.10
07 Apr 2017
John Abbott
Testing
Design #1041
: Separators for elements of a list
Example
0.10
06 Apr 2017
John Abbott
Testing
Feature #1038
: Emacs: sent interrupt to CoCoA
Good!
0.25
17 Mar 2017
John Abbott
Testing
Bug #1032
: IsInRadical: fragile code
Slugs?
0.20
17 Mar 2017
John Abbott
Testing
Bug #1032
: IsInRadical: fragile code
Some problem cases
0.50
17 Mar 2017
John Abbott
Testing
Feature #633
: New operations? ScalarProduct(MODULELEM,LIST), MATRIX * MODULELEM
Probably should be allowed
0.25
13 Mar 2017
John Abbott
Testing
Bug #1028
: Readline: cursor moves wrongly when at start of line with a prompt
Not perfect
0.10
09 Mar 2017
John Abbott
Testing
Slug #1025
: Example of slow LEX GBasis computation
Unrelated
0.10
09 Mar 2017
John Abbott
Testing
Slug #1025
: Example of slow LEX GBasis computation
More examples
0.25
08 Mar 2017
John Abbott
Testing
Slug #1025
: Example of slow LEX GBasis computation
More examples
0.25
08 Mar 2017
John Abbott
Testing
Slug #1025
: Example of slow LEX GBasis computation
Here are some more slow lex test cases
0.20
07 Mar 2017
John Abbott
Testing
Slug #1025
: Example of slow LEX GBasis computation
Some notes
0.25
06 Mar 2017
Anna Maria Bigatti
Testing
Support #521
: Manual: automatically check all examples
0.50
02 Feb 2017
John Abbott
Testing
Support #1006
: External dependencies for building
LaTeX pain
0.50
27 Jan 2017
John Abbott
Testing
Design #997
: Using protected variable names for "bound variables" (e.g. for, try...endtry)
Scary!
0.10
27 Jan 2017
John Abbott
Testing
Design #997
: Using protected variable names for "bound variables" (e.g. for, try...endtry)
Scary!
0.10
27 Jan 2017
John Abbott
Testing
Design #997
: Using protected variable names for "bound variables" (e.g. for, try...endtry)
Boggle!
0.10
24 Jan 2017
John Abbott
Testing
Bug #1002
: Emacs UI: cocoa5-send-line skips too many chars
Another example
0.10
24 Jan 2017
John Abbott
Testing
Bug #1002
: Emacs UI: cocoa5-send-line skips too many chars
More chars
0.20
23 Jan 2017
John Abbott
Testing
Design #998
: Emacs UI: sending empty input from cocoa5 buffer
Another example
0.20
18 Jan 2017
John Abbott
Testing
Design #998
: Emacs UI: sending empty input from cocoa5 buffer
Example 1
0.25
09 Jan 2017
John Abbott
Testing
Bug #994
: SEGV: Toric example from Kazuki Maeda
Amusement
0.10
09 Jan 2017
John Abbott
Testing
Bug #994
: SEGV: Toric example from Kazuki Maeda
Confirmed
0.50
30 Nov 2016
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
Building 32 bit version
3.00
29 Nov 2016
John Abbott
Testing
Design #989
: init file obligatory?
Clean up contents of init.cocoa5
0.10
26 Nov 2016
John Abbott
Testing
Design #984
: GroebnerFanIdeals: order matrices sometimes have "large" entries
An example
1.00
25 Nov 2016
John Abbott
Testing
Bug #981
: SqFreeFactor: small (or big) bug?
Added new test
0.25
18 Nov 2016
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
Works for Michael Wheat
0.10
18 Nov 2016
John Abbott
Testing
Feature #744
: Handle interrupts more helpfully
GUI
0.50
17 Nov 2016
John Abbott
Testing
Support #973
: GroebnerFanIdeals: verbosity and output style
Surprising
0.50
08 Nov 2016
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Another example
0.50
07 Nov 2016
Anna Maria Bigatti
Testing
Support #851
: Release: CoCoA-5.2.0
1.00
05 Nov 2016
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
Not enough
0.50
27 Oct 2016
Anna Maria Bigatti
Testing
Feature #954
: New function: StdBasis (standard basis)
time Bigatti+Robbiano
4.00
19 Oct 2016
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Needs memory
0.25
18 Oct 2016
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Example 2
0.10
18 Oct 2016
John Abbott
Testing
Slug #948
: radical is slow (compared to singular) on these examples
Example 1
0.25
17 Oct 2016
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Problem is more widespread!
0.20
17 Oct 2016
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Other fns
0.10
17 Oct 2016
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
better test
0.20
17 Oct 2016
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Here are two test cases
0.10
14 Oct 2016
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Still strange
0.50
13 Oct 2016
John Abbott
Testing
Design #491
: Cleaning: Cruft in CoCoA-5 packages
Postpone but not too far
0.10
13 Oct 2016
John Abbott
Testing
Bug #519
: GUI: fix DEFINES in makefile
Close?
0.10
12 Oct 2016
Anna Maria Bigatti
Testing
Support #851
: Release: CoCoA-5.2.0
1.00
10 Oct 2016
John Abbott
Testing
Design #868
: Der, Bin: why the capital letter?
Oh dear!
0.75
10 Oct 2016
Anna Maria Bigatti
Testing
Bug #852
: fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml
0.25
08 Oct 2016
John Abbott
Testing
Feature #909
: ReadExpr: decimal point
OK now
1.00
03 Oct 2016
John Abbott
Testing
Bug #757
: readline: fix script for finding libreadline
More testing?
0.20
03 Oct 2016
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
Email from Logar
0.25
16 Sep 2016
Anna Maria Bigatti
Testing
Bug #922
: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
0.50
16 Sep 2016
Anna Maria Bigatti
Testing
Bug #922
: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
0.25
02 Sep 2016
John Abbott
Testing
Bug #918
: UniversalGBasis: sometimes gives error
Still fails
0.25
22 Aug 2016
John Abbott
Testing
Support #915
: When is a semicolon needed to end a statement/command?
Origin
0.25
22 Jul 2016
John Abbott
Testing
Feature #909
: ReadExpr: decimal point
Minor semantic change
0.20
« Previous
1
2
3
…
7
Next »
(1-500/3319)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...