⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoA
All Projects
CoCoA
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Repository
Spent time
Filters
Add filter
Subproject
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:
4963.12
Date
User
Activity
Issue
Comment
Hours
31 May 2024
John Abbott
Testing
Feature #1743
: Implement Truncated GBases for homogeneous input
exbug?
0.10
31 May 2024
John Abbott
Testing
Feature #1742
: MinGens could be faster
Test cases?
0.20
23 May 2024
John Abbott
Testing
Design #1816
: printing rings
Fixed 2 tests
0.25
13 May 2024
John Abbott
Testing
Design #1508
: Initial ring
Update
0.30
09 May 2024
John Abbott
Testing
Feature #1667
: GBasis over ZZ: port to CoCoALib
CoCoA-5 code
0.30
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
02 May 2024
John Abbott
Testing
Feature #1815
: JSON and UUID
First goals? Further goals?
0.50
29 Apr 2024
John Abbott
Testing
Feature #1667
: GBasis over ZZ: port to CoCoALib
Make progress!
0.25
25 Apr 2024
John Abbott
Testing
Design #707
: MatrixOrderingMod32749Impl: test and write documentation!
Status?
0.10
22 Apr 2024
John Abbott
Testing
Design #1106
: Remove READLINE from CoCoALib
Configure script
0.10
22 Apr 2024
John Abbott
Testing
Bug #1719
: FactorINT has got worse
Good enough!
0.25
18 Apr 2024
Anna Maria Bigatti
Testing
Feature #937
: LinDepMill: Mill for linear dependencies
2.00
16 Apr 2024
John Abbott
Testing
Slug #1394
: Oddly slow GBasis computation (slow final cleanup)
Another example?
0.10
15 Apr 2024
John Abbott
Testing
Support #1814
: Ensure tests do not need too much RAM
Anna will investigate
0.10
12 Apr 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Checked in
0.20
08 Apr 2024
John Abbott
Testing
Support #1814
: Ensure tests do not need too much RAM
Strange!
0.50
08 Apr 2024
John Abbott
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
Seems OK
0.20
07 Apr 2024
John Abbott
Testing
Support #1814
: Ensure tests do not need too much RAM
CooA-5 tests
0.10
07 Apr 2024
John Abbott
Testing
Support #1814
: Ensure tests do not need too much RAM
Some progress
0.10
07 Apr 2024
John Abbott
Testing
Support #1814
: Ensure tests do not need too much RAM
Some notes
0.20
07 Apr 2024
John Abbott
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
Close?
0.20
07 Apr 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Modified
0.40
28 Mar 2024
John Abbott
Testing
Bug #1661
: Microsoft: cannot compile with signal handling
Closing
0.10
28 Mar 2024
Anna Maria Bigatti
Testing
Feature #1206
: syz, SyzOfGens: which shifts for zero?
1.00
26 Mar 2024
Anna Maria Bigatti
Testing
Feature #598
: Syzygy for modules: non-homogeneous module
0.25
25 Mar 2024
John Abbott
Testing
Bug #1726
: Dangling references to temporaries
Closing
0.10
22 Mar 2024
John Abbott
Testing
Support #302
: Compilation on M$Windows: Visual Studio
Still relevant?
0.10
22 Mar 2024
John Abbott
Testing
Slug #1394
: Oddly slow GBasis computation (slow final cleanup)
More notes
0.30
22 Mar 2024
Anna Maria Bigatti
Testing
Slug #1394
: Oddly slow GBasis computation (slow final cleanup)
0.50
21 Mar 2024
John Abbott
Testing
Bug #1749
: Configuration hiccups on Mac M1
0.20
21 Mar 2024
John Abbott
Testing
Design #1085
: Fns with "OUT" args: should they give ERR::MixedRings?
Closing
0.10
21 Mar 2024
John Abbott
Testing
Design #1606
: Return type with const
0.10
21 Mar 2024
John Abbott
Testing
Bug #1641
: gcd does not recognize univariate input
Done!
0.75
21 Mar 2024
Anna Maria Bigatti
Testing
Slug #967
: Improve saturate
0.50
21 Mar 2024
Anna Maria Bigatti
Testing
Bug #1641
: gcd does not recognize univariate input
0.20
21 Mar 2024
John Abbott
Testing
Bug #1641
: gcd does not recognize univariate input
Ahhh!
0.10
18 Mar 2024
John Abbott
Testing
Bug #1726
: Dangling references to temporaries
To Jerry James
0.10
18 Mar 2024
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Suggestion
0.20
18 Mar 2024
John Abbott
Testing
Design #1606
: Return type with const
Mostly done
0.50
18 Mar 2024
John Abbott
Testing
Feature #1619
: Make saturate available in CoCoALib
Types of test?
0.20
16 Mar 2024
John Abbott
Testing
Design #1511
: Use C++14 constexpr
0.10
16 Mar 2024
John Abbott
Testing
Bug #1749
: Configuration hiccups on Mac M1
Ugh!
0.10
16 Mar 2024
John Abbott
Testing
Feature #1770
: Evaluate polynomial function/class
0.10
16 Mar 2024
John Abbott
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
Test the new txt2tags
0.10
16 Mar 2024
John Abbott
Testing
Slug #967
: Improve saturate
Testing
0.10
16 Mar 2024
John Abbott
Testing
Bug #1794
: Do not use random inside tests!!
Some notes
0.25
13 Mar 2024
John Abbott
Testing
Support #1761
: MakeTermOrdMat: improve error mesg
0.25
13 Mar 2024
John Abbott
Testing
Bug #111
: Mod fn for computing remainder
No problems on over 10 years
0.25
13 Mar 2024
John Abbott
Testing
Bug #1790
: saturate with zero ideals
Easy?
0.25
13 Mar 2024
Anna Maria Bigatti
Testing
Feature #379
: Iter for subsets/tuples
0.50
12 Mar 2024
Anna Maria Bigatti
Testing
Bug #1789
: GradingMat with negative weights should complain (or deal with them properly!!)
0.50
11 Mar 2024
Anna Maria Bigatti
Testing
Slug #1049
: GroebnerFan: slow examples
0.50
11 Mar 2024
Anna Maria Bigatti
Testing
Slug #1057
: Slug: Polynomial ring contructor slow with (big) matrix ordering
0.50
08 Mar 2024
John Abbott
Testing
Bug #1749
: Configuration hiccups on Mac M1
CoCoA-5 OK too
0.40
07 Mar 2024
John Abbott
Testing
Design #1166
: C++11: allows large integer literals (in NumTheory-prime.C)
Closing -- hope it is OK
0.25
07 Mar 2024
John Abbott
Testing
Design #1753
: Clean up EulerTotient, InvTotient jungle in NumTheory-misc
Closing
0.10
07 Mar 2024
John Abbott
Testing
Feature #379
: Iter for subsets/tuples
Tested?
0.10
01 Mar 2024
John Abbott
Testing
Support #1782
: Make CoCoALib test file for radical
Do it quickly?
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
Testing
Bug #1749
: Configuration hiccups on Mac M1
Soon?
0.20
25 Feb 2024
John Abbott
Testing
Bug #1713
: Windows: Qt-Gui does not link correctly
Seems OK
0.10
23 Feb 2024
John Abbott
Testing
Bug #1779
: Radical error with lex (again)
New bug?
0.20
23 Feb 2024
John Abbott
Testing
Feature #379
: Iter for subsets/tuples
ANNA
0.10
23 Feb 2024
John Abbott
Testing
Slug #1754
: IsSqFree poorly implemented
0.15
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
16 Feb 2024
John Abbott
Testing
Design #1735
: PushFront/PushBack without checks?
Oh!
0.15
16 Feb 2024
John Abbott
Testing
Slug #1569
: IsInRadical too slow (test-RadicalMembership)
Confirmed
0.20
16 Feb 2024
John Abbott
Testing
Design #1735
: PushFront/PushBack without checks?
Test it!
0.10
15 Feb 2024
John Abbott
Testing
Slug #1569
: IsInRadical too slow (test-RadicalMembership)
Already implemented
0.40
15 Feb 2024
Anna Maria Bigatti
Testing
Slug #1569
: IsInRadical too slow (test-RadicalMembership)
1.00
05 Feb 2024
Anna Maria Bigatti
Testing
Slug #1739
: IsHomog for ideals
1.00
02 Feb 2024
John Abbott
Testing
Design #1647
: Suppress zero from ideal generators? Detect 1 and simplify generators?
Example
0.25
31 Jan 2024
John Abbott
Testing
Support #1665
: Compilation on Windows: problems for normaliz
Still a problem?
0.10
25 Jan 2024
John Abbott
Testing
Bug #1579
: Readexpr/RingElem: unhelpful error message when input is wrong
Another test case
0.25
22 Jan 2024
John Abbott
Testing
Design #908
: Sum of ideals: what are the generators of (x) + (0)?
Current state
0.20
21 Jan 2024
John Abbott
Testing
Slug #1569
: IsInRadical too slow (test-RadicalMembership)
Stupid approach
0.25
21 Jan 2024
John Abbott
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
Status?
0.10
21 Jan 2024
John Abbott
Testing
Bug #1361
: Compilation fails when compiling with libgsl
Still a problem?
0.20
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
Bug #1773
: CyclotomicFactorIndexes: gave wrong answer
Added test
0.20
22 Dec 2023
John Abbott
Testing
Bug #1758
: Graeffe "sign bug"
0.10
22 Dec 2023
John Abbott
Testing
Slug #1769
: FixedDivisor is sometimes surprisingly slow
Good enough
0.15
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
01 Dec 2023
John Abbott
Testing
Design #1768
: Limit indentation in verbose mesgs?
Testing
0.10
23 Oct 2023
John Abbott
Testing
Feature #718
: Insert calls to CheckForInterrupt
Missing case
0.10
05 Aug 2023
John Abbott
Testing
Support #1759
: Better error mesg for 1.2.3.4?
Current state
0.10
26 Jul 2023
John Abbott
Testing
Bug #1758
: Graeffe "sign bug"
Some notes
0.25
23 Jul 2023
John Abbott
Testing
Slug #1757
: gcd(f,f) is slow
Test example
0.25
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
26 Mar 2023
John Abbott
Testing
Design #1721
: Verbose messages: print level?
Looks good!
0.20
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
14 Mar 2023
John Abbott
Testing
Design #1716
: Qn: factor for BigInt
Closing
0.15
14 Mar 2023
John Abbott
Testing
Feature #222
: Printing polynomials - spaces between terms
Ooops
0.10
14 Mar 2023
John Abbott
Testing
Bug #1233
: factor SEGV -- too large characteristic
Current state
0.25
13 Mar 2023
John Abbott
Testing
Design #950
: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
Current impl is OK
0.20
10 Mar 2023
John Abbott
Testing
Slug #1557
: Reading list of rationals is too slow
Closing
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
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
Testing
Bug #1719
: FactorINT has got worse
Much better now
0.25
09 Mar 2023
John Abbott
Testing
Feature #800
: PPMonoidSparse: impl of sparse PPs
Closing
0.25
09 Mar 2023
John Abbott
Testing
Bug #1712
: Windows: New configuration script
Compilation
0.20
09 Mar 2023
John Abbott
Testing
Bug #1725
: resultant: gives wrong answer when should be 0
Closing.
0.20
09 Mar 2023
John Abbott
Testing
Bug #1726
: Dangling references to temporaries
Puzzled
0.25
08 Mar 2023
John Abbott
Testing
Bug #1522
: SEGV: avoid long linked lists of loaves in MemPools
Not convinced
0.40
08 Mar 2023
John Abbott
Testing
Slug #1337
: PrimaryDecomposition: a interesting/pathological example
Checked times
0.20
06 Mar 2023
John Abbott
Testing
Bug #1725
: resultant: gives wrong answer when should be 0
Now really fixed
0.25
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
18 Dec 2022
John Abbott
Testing
Bug #1719
: FactorINT has got worse
Mysterious
0.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
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
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Some test cases
0.40
16 Nov 2022
John Abbott
Testing
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
0.40
16 Nov 2022
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Some notes
0.20
04 Nov 2022
John Abbott
Testing
Feature #1676
: txt2tags: include in source distribution?
Source with doc
0.15
04 Nov 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Ouch!
0.50
14 Oct 2022
Anna Maria Bigatti
Testing
Support #1700
: boost_1_80_0
1.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
Testing
Design #1693
: SizeInBase: obsolete
0.15
07 Oct 2022
John Abbott
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
Status?
0.20
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
08 Aug 2022
John Abbott
Testing
Feature #1210
: New Fn: make public "coefficients" (of poly wrt a given PP basis)
Closing
0.50
08 Aug 2022
John Abbott
Testing
Feature #1684
: RandomNBitPrime - new fn
Closing
0.30
08 Aug 2022
John Abbott
Testing
Feature #1466
: Ops += *= etc for Matrices?
Closing
0.20
13 Jun 2022
John Abbott
Testing
Support #1471
: Release CoCoA-5.4.0
Close?
0.10
13 Jun 2022
John Abbott
Testing
Support #1481
: Release CoCoALib 0.99800
Close?
0.10
08 Jun 2022
John Abbott
Testing
Bug #1361
: Compilation fails when compiling with libgsl
More info?
0.10
07 Jun 2022
John Abbott
Testing
Bug #1361
: Compilation fails when compiling with libgsl
Still a problem?
0.20
03 Jun 2022
John Abbott
Testing
Bug #1683
: IsIrred in ZZ[x,y]
Some notes
0.25
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
23 Feb 2022
John Abbott
Testing
Design #1528
: MacOS compilation with clang
0.20
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
15 Feb 2022
John Abbott
Testing
Support #1665
: Compilation on Windows: problems for normaliz
library path
0.10
14 Feb 2022
John Abbott
Testing
Support #618
: Instructions for compiling libnormaliz
Closing
0.20
14 Feb 2022
Anna Maria Bigatti
Testing
Design #1655
: Remove ability to compile CoCoALib against UNINSTALLED gmp?
0.50
11 Feb 2022
Anna Maria Bigatti
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
1.50
09 Feb 2022
John Abbott
Testing
Feature #800
: PPMonoidSparse: impl of sparse PPs
Mostly done
0.40
09 Feb 2022
John Abbott
Testing
Support #1591
: Compilation of Normaliz
N-3.9.2
0.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
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
05 Feb 2022
John Abbott
Testing
Support #1591
: Compilation of Normaliz
MacBook OK
0.10
05 Feb 2022
John Abbott
Testing
Design #1528
: MacOS compilation with clang
Experiment
0.50
05 Feb 2022
John Abbott
Testing
Design #1528
: MacOS compilation with clang
Mostly OK now
0.25
04 Feb 2022
John Abbott
Testing
Slug #1057
: Slug: Polynomial ring contructor slow with (big) matrix ordering
Still slow
0.10
04 Feb 2022
John Abbott
Testing
Feature #1589
: IdealOfPoints: allow matrix of points to be defined over "wrong" ring
Seems OK now
0.15
04 Feb 2022
John Abbott
Testing
Support #613
: Which ubuntu / debian packages are needed to compile CoCoA
Update doc
0.20
04 Feb 2022
John Abbott
Testing
Design #1653
: Discriminant: return value
0.10
04 Feb 2022
John Abbott
Testing
Design #1547
: Require decimal mode for ostream?
0.10
04 Feb 2022
John Abbott
Testing
Design #1655
: Remove ability to compile CoCoALib against UNINSTALLED gmp?
Anna!
0.10
04 Feb 2022
John Abbott
Testing
Design #1625
: Use new C++ keyword override
Seems OK now
0.15
04 Feb 2022
John Abbott
Testing
Bug #1656
: SEGV in resultant
Added test
0.15
04 Feb 2022
John Abbott
Testing
Feature #1633
: Make polynomial multiplication interruptible?
0.10
04 Feb 2022
John Abbott
Testing
Slug #1375
: Radical 0-dim: varied timings
Seems OK now
0.20
04 Feb 2022
John Abbott
Testing
Support #1591
: Compilation of Normaliz
OK for me
0.10
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
28 Jan 2022
John Abbott
Testing
Design #1655
: Remove ability to compile CoCoALib against UNINSTALLED gmp?
Seems OK now
0.20
28 Jan 2022
John Abbott
Testing
Support #1592
: Normaliz 3.8.10
Closing
0.10
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
Slug #1646
: radical: could be more clever
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
Testing
Slug #1646
: radical: could be more clever
Checked in
0.20
17 Jan 2022
John Abbott
Testing
Slug #1646
: radical: could be more clever
More examples
0.20
12 Jan 2022
John Abbott
Testing
Slug #1643
: rref slower than expected (maybe) [[reduced row echelon form]]
Some notes
0.25
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
17 Nov 2021
John Abbott
Testing
Feature #1633
: Make polynomial multiplication interruptible?
Huh???
0.10
17 Nov 2021
John Abbott
Testing
Feature #1633
: Make polynomial multiplication interruptible?
Little overhead
0.15
17 Nov 2021
John Abbott
Testing
Feature #1633
: Make polynomial multiplication interruptible?
Simpler test
0.10
15 Nov 2021
John Abbott
Testing
Slug #1394
: Oddly slow GBasis computation (slow final cleanup)
Another example
0.20
12 Nov 2021
John Abbott
Testing
Design #1617
: UnivariateIndetIndex: exact semantics
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
03 Nov 2021
John Abbott
Testing
Design #1422
: Remove flag IhaveGBasisValue?
Who uses it?
0.10
30 Oct 2021
John Abbott
Testing
Bug #1280
: Determinant & Inverse of matrix over non integral domain
Another test case
0.25
30 Oct 2021
John Abbott
Testing
Bug #1502
: SystemCommand in Microsoft version
Clue city
2.00
29 Oct 2021
John Abbott
Testing
Bug #1280
: Determinant & Inverse of matrix over non integral domain
More examples
0.50
29 Oct 2021
Anna Maria Bigatti
Testing
Design #1625
: Use new C++ keyword override
0.20
25 Oct 2021
John Abbott
Testing
Design #1625
: Use new C++ keyword override
Clue city?
0.20
22 Oct 2021
Anna Maria Bigatti
Testing
Feature #1589
: IdealOfPoints: allow matrix of points to be defined over "wrong" ring
0.50
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
20 Oct 2021
John Abbott
Testing
Design #1617
: UnivariateIndetIndex: exact semantics
Update
0.50
20 Oct 2021
John Abbott
Testing
Design #1617
: UnivariateIndetIndex: exact semantics
First trial
0.20
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
Feature #1598
: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
Slightly odd
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
22 Sep 2021
John Abbott
Testing
Bug #1585
: CRASH/ABORT: GMP overflow
KISS
0.25
20 Sep 2021
John Abbott
Testing
Bug #1601
: Compilation ambiguity
g++-10 OK
0.20
20 Sep 2021
John Abbott
Testing
Design #1558
: CpuTimeLimit: more frequent clock checks
No probs for 7 months
0.15
16 Sep 2021
John Abbott
Testing
Bug #1484
: ker bug (quotientinghom for R/ideal())
Added test
0.25
16 Sep 2021
John Abbott
Testing
Slug #897
: SimplestBigRatBetween: why is it so slow?
Closing
0.10
16 Sep 2021
John Abbott
Testing
Design #1538
: RingElem from string (ReadExpr)
0.25
16 Sep 2021
John Abbott
Testing
Bug #1565
: IsInRadical: gives "weird" error
Seems OK now
0.30
16 Sep 2021
John Abbott
Testing
Bug #1590
: CRASH: LinKerZZ
Added test
0.25
14 Sep 2021
John Abbott
Testing
Design #1606
: Return type with const
Not yet ready
0.25
08 Sep 2021
John Abbott
Testing
Design #1576
: cmp for machine integers
Simpler failing example
0.25
01 Sep 2021
John Abbott
Testing
Design #1576
: cmp for machine integers
Why does this fail?
0.75
03 Aug 2021
John Abbott
Testing
Feature #1598
: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
Updated
0.25
03 Aug 2021
Anna Maria Bigatti
Testing
Feature #1598
: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
1.00
30 Jul 2021
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
To check
0.10
02 Jul 2021
John Abbott
Testing
Bug #1473
: isystem not working as expected
Seems OK
0.25
21 Jun 2021
John Abbott
Testing
Bug #1601
: Compilation ambiguity
Ooops
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
06 May 2021
Anna Maria Bigatti
Testing
Support #1592
: Normaliz 3.8.10
1.00
02 May 2021
John Abbott
Testing
Support #1591
: Compilation of Normaliz
Personal installation
0.20
30 Apr 2021
John Abbott
Testing
Bug #1473
: isystem not working as expected
Still a problem
0.25
28 Apr 2021
John Abbott
Testing
Feature #1381
: Type ideal for ZZ[x[1..n]]
0.50
28 Apr 2021
John Abbott
Testing
Feature #1381
: Type ideal for ZZ[x[1..n]]
A test
0.30
27 Apr 2021
John Abbott
Testing
Feature #1381
: Type ideal for ZZ[x[1..n]]
Impromptu testing
0.20
27 Apr 2021
John Abbott
Testing
Feature #1381
: Type ideal for ZZ[x[1..n]]
Nothing broken
0.10
20 Apr 2021
Anna Maria Bigatti
Testing
Feature #1589
: IdealOfPoints: allow matrix of points to be defined over "wrong" ring
0.50
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
Testing
Bug #1585
: CRASH/ABORT: GMP overflow
Some tests
0.25
15 Apr 2021
John Abbott
Testing
Bug #1473
: isystem not working as expected
Progress?
0.10
15 Apr 2021
John Abbott
Testing
Slug #1057
: Slug: Polynomial ring contructor slow with (big) matrix ordering
Benchmark
0.20
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
22 Mar 2021
John Abbott
Testing
Bug #1585
: CRASH/ABORT: GMP overflow
Some notes
0.25
19 Mar 2021
John Abbott
Testing
Bug #1406
: Poor memory management?
A better test
0.25
19 Mar 2021
John Abbott
Testing
Design #786
: MemPool: review min and max loaf sizes
Seems OK
0.25
19 Mar 2021
John Abbott
Testing
Support #618
: Instructions for compiling libnormaliz
Anna?
0.10
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
Slug #1375
: Radical 0-dim: varied timings
Seems OK now
0.50
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
Design #1558
: CpuTimeLimit: more frequent clock checks
Speedtest
0.50
17 Feb 2021
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Some progress
1.50
17 Feb 2021
John Abbott
Testing
Design #1538
: RingElem from string (ReadExpr)
Code review
0.40
17 Feb 2021
John Abbott
Testing
Design #1529
: INPUT questions
Closing
0.10
17 Feb 2021
John Abbott
Testing
Design #1523
: Input fns: action when when istream is in bad state?
Seems OK now
0.10
17 Feb 2021
John Abbott
Testing
Bug #1473
: isystem not working as expected
Anna?
0.10
16 Feb 2021
John Abbott
Testing
Bug #1522
: SEGV: avoid long linked lists of loaves in MemPools
A test
0.25
16 Feb 2021
John Abbott
Testing
Slug #1337
: PrimaryDecomposition: a interesting/pathological example
Confirmation
0.10
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
08 Feb 2021
John Abbott
Testing
Design #1576
: cmp for machine integers
Some notes
0.30
03 Feb 2021
John Abbott
Testing
Bug #1574
: ApproxSolveTF
Some notes
0.25
02 Feb 2021
John Abbott
Testing
Design #934
: MachineInt: change semantics?
Mmmm
1.00
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
Anna Maria Bigatti
Testing
Bug #1484
: ker bug (quotientinghom for R/ideal())
2.00
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
29 Jan 2021
John Abbott
Testing
Design #1563
: BigRat: ctor from machine int
0.10
29 Jan 2021
John Abbott
Testing
Bug #1570
: FloatStr sometimes produces NUL chars
Uh oh!
0.40
29 Jan 2021
John Abbott
Testing
Bug #1570
: FloatStr sometimes produces NUL chars
Test cases
0.75
26 Jan 2021
John Abbott
Testing
Design #1558
: CpuTimeLimit: more frequent clock checks
Impromptu testing
0.40
22 Jan 2021
John Abbott
Testing
Slug #1569
: IsInRadical too slow (test-RadicalMembership)
Mod p is quick
0.10
22 Jan 2021
Anna Maria Bigatti
Testing
Bug #1484
: ker bug (quotientinghom for R/ideal())
0.20
19 Jan 2021
John Abbott
Testing
Bug #1565
: IsInRadical: gives "weird" error
Some notes
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
Bug #1376
: GBasisTimeout: not working as expected
Better now
0.30
08 Jan 2021
John Abbott
Testing
Design #1391
: RingElems: syntax with [ and ] ?
Added tests
0.75
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
08 Jan 2021
John Abbott
Testing
Design #1558
: CpuTimeLimit: more frequent clock checks
Speed check
0.25
07 Jan 2021
John Abbott
Testing
Bug #1376
: GBasisTimeout: not working as expected
More checks
0.20
07 Jan 2021
John Abbott
Testing
Bug #1376
: GBasisTimeout: not working as expected
No test case?
0.25
05 Jan 2021
John Abbott
Testing
Slug #1557
: Reading list of rationals is too slow
Profiler
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
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
03 Dec 2020
John Abbott
Testing
Bug #1542
: gfan does not "deinitialize"
Seems OK now
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
Design #1538
: RingElem from string (ReadExpr)
Some notes
0.25
13 Nov 2020
John Abbott
Testing
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Some notes
0.50
09 Nov 2020
John Abbott
Testing
Bug #1233
: factor SEGV -- too large characteristic
Update
0.10
04 Nov 2020
John Abbott
Testing
Slug #1517
: RandomLinearForm
Still something odd
0.30
03 Nov 2020
John Abbott
Testing
Bug #1527
: Inadequate error message on incorrect list access
Current state
0.20
03 Nov 2020
John Abbott
Testing
Slug #897
: SimplestBigRatBetween: why is it so slow?
Checked in
0.20
30 Oct 2020
John Abbott
Testing
Feature #1509
: RingElems with empty input
Checked in
0.10
30 Oct 2020
John Abbott
Testing
Support #861
: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
Seems OK now
0.30
29 Oct 2020
John Abbott
Testing
Slug #1170
: SmoothFactor: slow when a factor is found
Acceptable
0.10
29 Oct 2020
John Abbott
Testing
Design #1279
: Tidy up code for matrix determinant
Acceptable
0.10
29 Oct 2020
John Abbott
Testing
Design #1463
: SmoothFactor: use FactorMultiplicity
Fixed
0.75
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
29 Oct 2020
John Abbott
Testing
Design #1463
: SmoothFactor: use FactorMultiplicity
Argh! BUG!
0.20
29 Oct 2020
John Abbott
Testing
Design #1460
: Name of TensorMat; change to KroneckerProd?
Closing
0.25
29 Oct 2020
John Abbott
Testing
Slug #1517
: RandomLinearForm
Quadratic
0.20
27 Oct 2020
John Abbott
Testing
Slug #1518
: SLUG: Printing PPs with many indets
More tests
0.20
27 Oct 2020
John Abbott
Testing
Slug #1518
: SLUG: Printing PPs with many indets
Mysterious
0.30
27 Oct 2020
John Abbott
Testing
Feature #142
: Improve threadsafety
Tests
0.25
26 Oct 2020
John Abbott
Testing
Slug #1518
: SLUG: Printing PPs with many indets
Huh?
0.20
26 Oct 2020
John Abbott
Testing
Slug #1518
: SLUG: Printing PPs with many indets
Test case
0.25
26 Oct 2020
John Abbott
Testing
Bug #1514
: Cocoa crashes when calling RingElems
Workaround
0.20
26 Oct 2020
John Abbott
Testing
Slug #1521
: Unexpectedly slow example with larger types for SmallExponent_t
Some notes
0.20
23 Oct 2020
John Abbott
Testing
Design #1500
: IsDivisible in a field?
0.25
23 Oct 2020
Anna Maria Bigatti
Testing
Bug #1473
: isystem not working as expected
0.25
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
20 Oct 2020
John Abbott
Testing
Slug #897
: SimplestBigRatBetween: why is it so slow?
Spot test
0.20
20 Oct 2020
John Abbott
Testing
Slug #897
: SimplestBigRatBetween: why is it so slow?
Progress
1.00
19 Oct 2020
John Abbott
Testing
Slug #897
: SimplestBigRatBetween: why is it so slow?
Examples?
0.20
19 Oct 2020
John Abbott
Testing
Slug #1118
: SLUG: factorization of x^9999
Confirmation
0.10
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
Design #1462
: Change CoCoA_ERROR into CoCoA_THROW_ERROR
Closing
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 #1500
: IsDivisible in a field?
Another problem
0.10
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
09 Oct 2020
John Abbott
Testing
Design #1500
: IsDivisible in a field?
Uh oh
0.30
08 Oct 2020
John Abbott
Testing
Design #637
: Undesirable consequence of automatic mapping of RingElems?
Update
0.10
07 Oct 2020
John Abbott
Testing
Slug #722
: valuation slow for large inputs
Good enough
0.25
07 Oct 2020
John Abbott
Testing
Design #1501
: testing for syntax errors
Some notes
0.50
06 Oct 2020
John Abbott
Testing
Bug #1473
: isystem not working as expected
Better?
0.10
06 Oct 2020
John Abbott
Testing
Design #1460
: Name of TensorMat; change to KroneckerProd?
Already done
0.20
06 Oct 2020
John Abbott
Testing
Design #710
: Update normaliz interface?
What exactly do we want to do?
0.10
06 Oct 2020
John Abbott
Testing
Bug #1280
: Determinant & Inverse of matrix over non integral domain
Some improvement
0.20
05 Oct 2020
John Abbott
Testing
Feature #1436
: Flatten for a matrix
Added test
0.25
05 Oct 2020
John Abbott
Testing
Design #1391
: RingElems: syntax with [ and ] ?
Req minor improvement
0.20
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
02 Oct 2020
John Abbott
Testing
Feature #1436
: Flatten for a matrix
Checked in
0.20
28 Sep 2020
John Abbott
Testing
Feature #1492
: submat of a submat
Some notes
0.25
25 Sep 2020
John Abbott
Testing
Support #1263
: Tidy CoCoALib test directory
Almost done
0.40
25 Sep 2020
John Abbott
Testing
Bug #1331
: adj: for matrices 7x7 and bigger
Added test
0.10
25 Sep 2020
John Abbott
Testing
Feature #1405
: New fn: interreduction
Duplicate of 1488?
0.10
25 Sep 2020
John Abbott
Testing
Bug #1423
: Radical 0-dim NYI? missing case for GBasisByHomog
Seems OK now
0.20
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
20 Jun 2020
John Abbott
Testing
Design #1465
: mul(MAT,MAT,MAT)
Seems to be useless
0.25
16 Jun 2020
John Abbott
Testing
Feature #1457
: Make SmoothFactor interruptible
Seems OK now
0.15
16 Jun 2020
John Abbott
Testing
Bug #1458
: Redesign interrupt mechanism?
Misremembered
0.25
20 May 2020
John Abbott
Testing
Support #1338
: Release CoCoALib-0.99700
Closing
0.25
20 May 2020
John Abbott
Testing
Support #1452
: Release CoCoALib-0.99710
Already done
0.10
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
26 Apr 2020
John Abbott
Testing
Bug #1449
: Bivariate factor bug: sometimes a factor is reducible
Added test
0.25
26 Apr 2020
John Abbott
Testing
Bug #1449
: Bivariate factor bug: sometimes a factor is reducible
Added test
0.10
25 Apr 2020
John Abbott
Testing
Bug #1449
: Bivariate factor bug: sometimes a factor is reducible
Checked in
0.50
24 Apr 2020
John Abbott
Testing
Bug #1449
: Bivariate factor bug: sometimes a factor is reducible
Simpler example
0.50
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
Support #861
: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
Status?
0.10
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
Bug #1264
: Remove unnecessary files before making CoCoALib release TGZ files
Wait...
0.10
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
Bug #1426
: Main Makefile: does not rebuild dependencies
Some notes
0.20
26 Feb 2020
John Abbott
Testing
Feature #1289
: assert-function for cocoa5
0.10
« Previous
1
2
3
…
15
Next »
(1-500/7155)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...