⚲
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
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
22 Jul 2016
John Abbott
Testing
Slug #907
: ApproxSolve very slow on this example
Better :-)
0.20
21 Jul 2016
John Abbott
Testing
Slug #907
: ApproxSolve very slow on this example
Still slow
0.20
14 Jul 2016
John Abbott
Testing
Slug #907
: ApproxSolve very slow on this example
Some notes
0.25
27 Jun 2016
Anna Maria Bigatti
Testing
Feature #845
: Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
using MinPoly from CoCoALib
4.00
22 Jun 2016
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
0.50
15 Jun 2016
John Abbott
Testing
Feature #95
: Error/warning if fn-proc is neither fn nor proc?
Simple test case
0.25
15 Jun 2016
John Abbott
Testing
Bug #748
: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
Still troublesome
0.10
06 Jun 2016
John Abbott
Testing
Slug #875
: Interpreter is too slow reading a big polynomial
Not such a good idea
0.30
09 May 2016
John Abbott
Testing
Support #879
: LOGAR: make CoCoA-5 easier to use
More notes
0.20
09 May 2016
John Abbott
Testing
Support #879
: LOGAR: make CoCoA-5 easier to use
Example session
1.00
07 May 2016
John Abbott
Testing
Feature #876
: subst: allowed also for indets in the coeff ring
Example
0.20
07 May 2016
John Abbott
Testing
Feature #876
: subst: allowed also for indets in the coeff ring
Example
0.20
03 May 2016
John Abbott
Testing
Slug #875
: Interpreter is too slow reading a big polynomial
Some notes
0.30
27 Apr 2016
John Abbott
Testing
Bug #870
: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
CoCoALib test
0.50
05 Apr 2016
John Abbott
Testing
Slug #862
: append has bad complexity
Just out of curiosity
0.10
18 Feb 2016
John Abbott
Testing
Feature #700
: Which external libs are present?
Closing
0.10
17 Feb 2016
John Abbott
Testing
Bug #650
: CoCoA-5 test (SourceAnna); problem in HilbertPoly
Magically resolved?
0.10
17 Feb 2016
John Abbott
Testing
Bug #117
: Added 3 times defn of isblank fn
Closing
0.10
17 Feb 2016
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Postponing
0.10
17 Feb 2016
John Abbott
Testing
Support #768
: Rename LogToTerm to MakeTerm
Closing
0.20
17 Feb 2016
John Abbott
Testing
Support #767
: Rename Log to exponents
Closing
0.10
17 Feb 2016
John Abbott
Testing
Feature #771
: New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
Closing
0.10
17 Feb 2016
John Abbott
Testing
Feature #761
: Evaluating a QuasiPol
Renamed
0.30
16 Feb 2016
John Abbott
Testing
Design #782
: BuiltinFunctions -- getting too long again!
News?
0.10
16 Feb 2016
John Abbott
Testing
Support #616
: Release: CoCoA-5.1.2
Close?
0.10
16 Feb 2016
John Abbott
Testing
Bug #698
: Emacs UI: problems with packages on windows
News?
0.10
16 Feb 2016
John Abbott
Testing
Bug #519
: GUI: fix DEFINES in makefile
News?
0.10
03 Dec 2015
John Abbott
Testing
Slug #798
: use poly ring with many variables is too slow
Seems to work!
0.10
26 Nov 2015
John Abbott
Testing
Feature #673
: Error message: I was expecting...
An example
0.25
09 Oct 2015
John Abbott
Testing
Bug #117
: Added 3 times defn of isblank fn
Checked in
0.10
08 Sep 2015
Anna Maria Bigatti
Testing
Feature #771
: New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
0.50
30 Jul 2015
John Abbott
Testing
Feature #352
: Should SourceRegion echo the "region"?
Closing
0.30
29 Jul 2015
John Abbott
Testing
Design #332
: Approx pts preprocessing fns
Closing after 1 year in feedback
0.20
29 Jul 2015
John Abbott
Testing
Bug #164
: CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames
Works
0.20
29 Jul 2015
John Abbott
Testing
Bug #745
: Readline: avoid printing out READLINE twice
Final touch
0.30
30 Jun 2015
Anna Maria Bigatti
Testing
Feature #485
: Initialization for CoCoA-5: file init.cocoa5
1.00
29 Jun 2015
Anna Maria Bigatti
Testing
Design #490
: Duplicate fns: valuation and FactorMultiplicity
0.25
26 Jun 2015
Anna Maria Bigatti
Testing
Bug #345
: Interpreter interrupt delayed confusingly
0.50
26 Jun 2015
Anna Maria Bigatti
Testing
Bug #643
: GenRepr fails if there are zero generators
0.25
26 May 2015
Anna Maria Bigatti
Testing
Feature #719
: Readline: consider creating a textual interpreter with readline
0.50
26 May 2015
Anna Maria Bigatti
Testing
Feature #719
: Readline: consider creating a textual interpreter with readline
0.50
24 May 2015
John Abbott
Testing
Feature #719
: Readline: consider creating a textual interpreter with readline
Not perfect
0.10
22 May 2015
John Abbott
Testing
Feature #719
: Readline: consider creating a textual interpreter with readline
Checked in
0.20
22 May 2015
John Abbott
Testing
Feature #719
: Readline: consider creating a textual interpreter with readline
Emacs+readline
0.10
21 May 2015
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Side by cide comparison
0.25
21 May 2015
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Timing info
0.50
21 May 2015
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Original Normaliz input file
0.10
21 May 2015
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
CoCoALib code
0.10
21 May 2015
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
CoCoA-5 input
0.20
20 May 2015
Anna Maria Bigatti
Testing
Support #616
: Release: CoCoA-5.1.2
1.00
19 May 2015
John Abbott
Testing
Feature #652
: Flag to enable/disable printing of list of loaded packages
C5 GUI
0.10
18 May 2015
Anna Maria Bigatti
Testing
Bug #698
: Emacs UI: problems with packages on windows
0.50
17 May 2015
John Abbott
Testing
Slug #709
: Speed of some Normaliz calls (NmzComputation)
Call from CoCoALib?
0.10
15 May 2015
Anna Maria Bigatti
Testing
Feature #466
: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
0.50
12 May 2015
Anna Maria Bigatti
Testing
Bug #699
: Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
1.00
12 May 2015
Anna Maria Bigatti
Testing
Bug #699
: Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
first reply
0.50
12 May 2015
Anna Maria Bigatti
Testing
Bug #698
: Emacs UI: problems with packages on windows
1.00
20 Apr 2015
John Abbott
Testing
Bug #684
: Emacs UI: wrong name after auto-inserting enddefine
Works
0.20
20 Apr 2015
Anna Maria Bigatti
Testing
Bug #684
: Emacs UI: wrong name after auto-inserting enddefine
0.25
13 Apr 2015
John Abbott
Testing
Feature #652
: Flag to enable/disable printing of list of loaded packages
Error reports
0.25
13 Apr 2015
John Abbott
Testing
Bug #275
: Unhelpful error messages when SmallExponent_t is unsigned char.
Compromise
0.20
11 Mar 2015
John Abbott
Testing
Design #668
: Remove keyword "weights"?
Error mesg still could be better
0.30
25 Sep 2014
Anna Maria Bigatti
Testing
Support #629
: Windows-GUI: compilation with MinGW
2.00
15 Sep 2014
Anna Maria Bigatti
Testing
Support #605
: Release: CoCoA-5.1.1
0.50
11 Sep 2014
John Abbott
Testing
Bug #519
: GUI: fix DEFINES in makefile
Waiting for confirmation
0.10
04 Sep 2014
John Abbott
Testing
Bug #132
: BringIn should allow reduction modulo p
Closing after 1 month in feedback
0.25
03 Sep 2014
Anna Maria Bigatti
Testing
Bug #279
: Bug in Radical (actually a RingHom problem)
testing the listed problems, fixed some
0.50
03 Sep 2014
Anna Maria Bigatti
Testing
Bug #279
: Bug in Radical (actually a RingHom problem)
checked, seems fine
0.25
03 Sep 2014
John Abbott
Testing
Support #541
: Unify releases for Linux 32 and Linux 64
Almost done!
0.10
03 Sep 2014
John Abbott
Testing
Feature #608
: Emacs UI: C-return for send-line and send-region
Closing
0.20
03 Sep 2014
John Abbott
Testing
Feature #464
: Emacs UI: split horizontally instead of vertically?
Closing after 2 months in feedback
0.20
03 Sep 2014
John Abbott
Testing
Feature #553
: Port function MantissaAndExponent2
Closing after 4 months in feedback
0.25
02 Sep 2014
John Abbott
Testing
Bug #275
: Unhelpful error messages when SmallExponent_t is unsigned char.
OK for shorts
0.50
02 Sep 2014
John Abbott
Testing
Bug #275
: Unhelpful error messages when SmallExponent_t is unsigned char.
Better error messages
0.30
02 Sep 2014
John Abbott
Testing
Design #549
: Automatic conversion from RINGELEM to INT or RAT
0.10
02 Sep 2014
John Abbott
Testing
Support #548
: Printing rings with ID
0.10
02 Sep 2014
John Abbott
Testing
Support #541
: Unify releases for Linux 32 and Linux 64
WAKE UP!
0.10
02 Sep 2014
John Abbott
Testing
Bug #34
: CoCoAManual: obsolete entries in the manual
0.25
02 Sep 2014
John Abbott
Testing
Feature #561
: Emacs UI: unrecognized keywords (ImportByValue...)
0.25
02 Sep 2014
John Abbott
Testing
Bug #433
: EMACS UI: trouble with sending a long line
Closing
0.60
02 Sep 2014
John Abbott
Testing
Bug #594
: CharPoly(MAT) and MinPoly(MAT) work in different settings: unify behaviaour
Closing after 1 month in feedback
0.10
02 Sep 2014
Anna Maria Bigatti
Testing
Design #307
: Value::from makes BigIntValue::fromInt obsolete?
done
0.50
01 Sep 2014
John Abbott
Testing
Design #563
: Remove ZMOD type from CoCoAInterpreter
Closing
0.30
01 Sep 2014
John Abbott
Testing
Feature #25
: Function "Call"
Already done
0.10
01 Sep 2014
John Abbott
Testing
Feature #561
: Emacs UI: unrecognized keywords (ImportByValue...)
Done?
0.20
29 Aug 2014
Anna Maria Bigatti
Testing
Feature #608
: Emacs UI: C-return for send-line and send-region
test on emacs 22
0.50
29 Aug 2014
Anna Maria Bigatti
Testing
Feature #608
: Emacs UI: C-return for send-line and send-region
test on emacs 22
0.50
28 Aug 2014
John Abbott
Testing
Feature #352
: Should SourceRegion echo the "region"?
Close?
0.25
28 Aug 2014
Anna Maria Bigatti
Testing
Bug #104
: Misprints suggestions: Z --> ZZ
example
0.50
27 Aug 2014
Anna Maria Bigatti
Testing
Bug #104
: Misprints suggestions: Z --> ZZ
trying to understand where the problem is
0.25
28 Jul 2014
John Abbott
Testing
Bug #382
: Subtle bug with CoeffEmbeddingHom
Done!
0.50
16 Jul 2014
Anna Maria Bigatti
Testing
Bug #566
: Online help: problem with "<>"
done - final check
0.25
15 Jul 2014
Anna Maria Bigatti
Testing
Design #525
: BuiltInFunctions: evalArgAsT1OrT2, evalArgAsT1OrT2OrT3, ... last argument
done and documented
0.50
03 Jul 2014
Anna Maria Bigatti
Testing
Support #548
: Printing rings with ID
fixed all tests, but...
0.50
03 Jul 2014
Anna Maria Bigatti
Testing
Support #548
: Printing rings with ID
fixed all tests, but...
0.50
02 Jul 2014
Anna Maria Bigatti
Testing
Bug #566
: Online help: problem with "<>"
fine for me
0.25
02 Jul 2014
Anna Maria Bigatti
Testing
Support #398
: Resurrect Relnotes()
done
0.25
26 Jun 2014
John Abbott
Testing
Design #576
: Disallow juxtaposition for string literals?
No problems -- closing
0.25
26 Jun 2014
John Abbott
Testing
Bug #182
: Unescaped double quote inside superstring
Current situation
0.25
25 Jun 2014
John Abbott
Testing
Design #576
: Disallow juxtaposition for string literals?
Seems OK
0.10
25 Jun 2014
Anna Maria Bigatti
Testing
Design #576
: Disallow juxtaposition for string literals?
0.13
25 Jun 2014
John Abbott
Testing
Bug #182
: Unescaped double quote inside superstring
No longer relevant?
0.25
29 May 2014
Anna Maria Bigatti
Testing
Support #541
: Unify releases for Linux 32 and Linux 64
emacs + script does not work on some linux machine
0.50
22 May 2014
John Abbott
Testing
Bug #447
: CoCoA-5.0.3 Microsoft std::bad_alloc
Checked
0.50
20 May 2014
Anna Maria Bigatti
Testing
Support #225
: HilbertBasis: cocoa vs normaliz
testing, closing
0.50
14 May 2014
John Abbott
Testing
Bug #279
: Bug in Radical (actually a RingHom problem)
Confirmed that the problem persists
0.25
14 May 2014
John Abbott
Testing
Bug #460
: Emacs UI: updating abbrev-table
Closing after >4 weeks in feedback
0.25
09 May 2014
Anna Maria Bigatti
Testing
Feature #514
: submodule: minimalize, minimalized
tested, added test
0.50
09 May 2014
Anna Maria Bigatti
Testing
Feature #367
: implement LF/DF for an ideal
done - final check
1.50
08 May 2014
Anna Maria Bigatti
Testing
Bug #545
: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
fixed exsegv test
0.50
07 May 2014
John Abbott
Testing
Design #549
: Automatic conversion from RINGELEM to INT or RAT
Used to work in CoCoA-5.0.3
0.25
07 May 2014
John Abbott
Testing
Feature #18
: Printing matrices: I/O unified style for CoCoA-5?
Closing
0.25
07 May 2014
John Abbott
Testing
Feature #523
: EmacsUI: lower case keywords
Closing after >3 weeks in feedback
0.25
07 May 2014
John Abbott
Testing
Feature #384
: IsZero for matrix
Closing
0.25
07 May 2014
John Abbott
Testing
Feature #381
: Emacs User Interface: Easier binding for sending a line to cocoa-5
Closing
0.50
07 May 2014
John Abbott
Testing
Bug #544
: sorted gives wrong answer sometimes
Closing
0.50
06 May 2014
John Abbott
Testing
Support #208
: describe $package
Closing
0.75
05 May 2014
John Abbott
Testing
Feature #188
: CoCoAManual: entries for operators
Closing after >1 month in feedback
0.25
02 May 2014
John Abbott
Testing
Bug #471
: Nested multiline comments
Closing after >4 weeks in feedback
0.25
02 May 2014
John Abbott
Testing
Design #481
: Multiline comments -- obsolescent?
Closing after 2 weeks in feedback
0.25
02 May 2014
John Abbott
Testing
Support #495
: CoCoAManual: add page about creating lists
Closing after 3 weeks in feedback
0.25
02 May 2014
John Abbott
Testing
Bug #544
: sorted gives wrong answer sometimes
Added new test
0.25
02 May 2014
John Abbott
Testing
Bug #441
: Emacs UI: C-c C-e does not ignore keywords inside strings
It works, so closing!
0.25
02 May 2014
John Abbott
Testing
Bug #462
: Emacs UI: semicolon problems
Closing
0.25
02 May 2014
John Abbott
Testing
Feature #502
: New fn/object type: timer
Closing after 3 weeks in feedback
0.25
24 Apr 2014
John Abbott
Testing
Design #301
: How to obtain an integer from a finite field element? AsINT?
Closing
0.25
24 Apr 2014
John Abbott
Testing
Feature #419
: FloatStr
Closing
0.50
24 Apr 2014
John Abbott
Testing
Design #534
: Remove float.cpkg5
Closing
1.00
24 Apr 2014
John Abbott
Testing
Design #472
: Record keyword
0.25
24 Apr 2014
John Abbott
Testing
Bug #94
: Default reason for protected variables
Closing
1.00
22 Apr 2014
John Abbott
Testing
Feature #414
: New fn to increase max recursion depth
Test case
0.25
22 Apr 2014
John Abbott
Testing
Bug #441
: Emacs UI: C-c C-e does not ignore keywords inside strings
Seems to work for me
0.25
17 Apr 2014
John Abbott
Testing
Feature #414
: New fn to increase max recursion depth
Happy Easter :-(
0.25
16 Apr 2014
John Abbott
Testing
Support #338
: MacOS version with static gcc libraries
10.6 binary did not work on my 10.5 machine
0.25
16 Apr 2014
John Abbott
Testing
Bug #462
: Emacs UI: semicolon problems
Seems OK
0.25
16 Apr 2014
Anna Maria Bigatti
Testing
Feature #419
: FloatStr
DecimalStr with 4 digits?
0.25
16 Apr 2014
Anna Maria Bigatti
Testing
Bug #462
: Emacs UI: semicolon problems
testing: seems ok now
0.25
16 Apr 2014
Anna Maria Bigatti
Testing
Feature #204
: NmzComputation: the powerful NormalizComputation function in CoCoA-5
postponing to Seoul ICMS
0.25
16 Apr 2014
Anna Maria Bigatti
Testing
Feature #381
: Emacs User Interface: Easier binding for sending a line to cocoa-5
testing on Oscar's computer
1.00
15 Apr 2014
Anna Maria Bigatti
Testing
Bug #470
: Emacs UI: cocoa5-close-block should beep when there is no block to close
it works
0.05
14 Apr 2014
Anna Maria Bigatti
Testing
Support #338
: MacOS version with static gcc libraries
working?
0.25
14 Apr 2014
Anna Maria Bigatti
Testing
Support #179
: TeX documentation for CoCoA-5
checking cross references
1.00
08 Apr 2014
Anna Maria Bigatti
Testing
Bug #509
: SyzOfGens (CoCoA-5) does not have correct shifts
improvement
0.25
08 Apr 2014
Anna Maria Bigatti
Testing
Support #503
: CoCoA website: CoCoA-5.0.9 pages
added gui win
0.25
08 Apr 2014
Anna Maria Bigatti
Testing
Bug #524
: BuiltInFunctions: remove calls to WrongTypeException
added tests for RingOf
0.25
04 Apr 2014
John Abbott
Testing
Bug #239
: Normaliz functions not available in C5 GUI (again!)
Closing after >10 months in feedback
0.25
04 Apr 2014
John Abbott
Testing
Design #301
: How to obtain an integer from a finite field element? AsINT?
Already done
0.25
04 Apr 2014
John Abbott
Testing
Support #522
: Manual: duplication in "see also" and "All other matches"
JAA opinion
0.50
04 Apr 2014
John Abbott
Testing
Feature #518
: incr/decr functions: to be used in packages
list.cpkg5
0.25
03 Apr 2014
Anna Maria Bigatti
Testing
Bug #519
: GUI: fix DEFINES in makefile
found solution
1.00
02 Apr 2014
Anna Maria Bigatti
Testing
Feature #384
: IsZero for matrix
testing
0.25
28 Mar 2014
Anna Maria Bigatti
Testing
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
site has moved to new machine (currently available only on local network). Testing and updating
2.00
25 Mar 2014
John Abbott
Testing
Feature #328
: Swap
Closing after 1 month in feedback
0.50
25 Mar 2014
John Abbott
Testing
Bug #443
: lambda keyword
Closing after 1 month in feedback
0.50
23 Mar 2014
John Abbott
Testing
Bug #471
: Nested multiline comments
Moving to feedback
0.25
22 Mar 2014
John Abbott
Testing
Support #208
: describe $package
Anna please check
0.50
21 Mar 2014
Anna Maria Bigatti
Testing
Bug #446
: intersection fails with zero ideal
added test
0.50
21 Mar 2014
Anna Maria Bigatti
Testing
Feature #330
: Syzygy for modules: homogeneous module
tested: done for homog input
0.50
21 Mar 2014
Anna Maria Bigatti
Testing
Support #370
: OnlineHelp: Problem with "><" in syntax of CartesianProduct
closing
0.25
21 Mar 2014
Anna Maria Bigatti
Testing
Bug #444
: Not keyword/operator
added Not, NOT
0.25
21 Mar 2014
Anna Maria Bigatti
Testing
Feature #365
: add function to compute minimal generators (like Minimalize)
testing
0.50
20 Mar 2014
John Abbott
Testing
Bug #118
: unistd and call to access in Main.C
Closing after >12 months in feedback
0.25
20 Mar 2014
Anna Maria Bigatti
Testing
Feature #485
: Initialization for CoCoA-5: file init.cocoa5
testing
0.50
20 Mar 2014
Anna Maria Bigatti
Testing
Design #481
: Multiline comments -- obsolescent?
suggestion for warning-level
0.50
18 Mar 2014
John Abbott
Testing
Bug #444
: Not keyword/operator
Closing after 0.5 month in feedback
0.25
18 Mar 2014
John Abbott
Testing
Bug #394
: problem with ContentFreeFactor (and missing manual entry)
Too vague
0.25
18 Mar 2014
John Abbott
Testing
Support #208
: describe $package
Seems OK
0.50
07 Mar 2014
John Abbott
Testing
Feature #371
: Resurrect LinearSimplify
Closing after 9 months in feedback
0.25
07 Mar 2014
John Abbott
Testing
Bug #441
: Emacs UI: C-c C-e does not ignore keywords inside strings
Test case
0.50
07 Mar 2014
Anna Maria Bigatti
Testing
Bug #394
: problem with ContentFreeFactor (and missing manual entry)
don't know why I started this
0.25
07 Mar 2014
John Abbott
Testing
Bug #441
: Emacs UI: C-c C-e does not ignore keywords inside strings
Works better
0.75
07 Mar 2014
John Abbott
Testing
Bug #441
: Emacs UI: C-c C-e does not ignore keywords inside strings
Imperfect
0.50
05 Mar 2014
John Abbott
Testing
Bug #197
: ./C5.bin: fork: Resource temporarily unavailable
Cannot reproduce
0.50
04 Mar 2014
John Abbott
Testing
Feature #372
: add IsFactorClosed
Doubts
0.25
03 Mar 2014
Anna Maria Bigatti
Testing
Feature #372
: add IsFactorClosed
suggestions
0.25
03 Mar 2014
Anna Maria Bigatti
Testing
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
I trust John. Closing
0.25
03 Mar 2014
Anna Maria Bigatti
Testing
Bug #418
: What does interreduce do?
done some tests, I convinced myself it's correct, closing
0.50
26 Feb 2014
John Abbott
Testing
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
Some old issues
0.25
26 Feb 2014
John Abbott
Testing
Bug #197
: ./C5.bin: fork: Resource temporarily unavailable
Still happens?
0.25
26 Feb 2014
John Abbott
Testing
Feature #328
: Swap
Seems fast
0.25
25 Feb 2014
John Abbott
Testing
Support #370
: OnlineHelp: Problem with "><" in syntax of CartesianProduct
How to get the man page?
0.25
24 Feb 2014
John Abbott
Testing
Feature #380
: Add Frobby functions to cocoa-5
Closing after 9 months in feedback
0.25
24 Feb 2014
John Abbott
Testing
Feature #212
: NBM: add to CoCoA-5
Closing after >12 months in feedback
0.25
22 Feb 2014
John Abbott
Testing
Bug #447
: CoCoA-5.0.3 Microsoft std::bad_alloc
OK on MacOS X 10.5.8
0.25
22 Feb 2014
John Abbott
Testing
Bug #446
: intersection fails with zero ideal
Add CoCoALib tests
0.25
21 Feb 2014
John Abbott
Testing
Bug #423
: Emacs UI: semicolon does not work in emacs-24.3
Closing after 1 month in feedback
0.25
21 Feb 2014
John Abbott
Testing
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
Seems to work for me
0.25
21 Feb 2014
Anna Maria Bigatti
Testing
Bug #446
: intersection fails with zero ideal
looked at "colon"
0.25
21 Feb 2014
John Abbott
Testing
Bug #444
: Not keyword/operator
Nasty surprises?
0.25
20 Feb 2014
John Abbott
Testing
Support #448
: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
Reported by...
0.25
19 Feb 2014
John Abbott
Testing
Feature #347
: C5 cannot compute derivative of a ratfn
Closing after 9 months in feedback
0.25
28 Jan 2014
Anna Maria Bigatti
Testing
Bug #418
: What does interreduce do?
checked and checked-in
1.00
24 Jan 2014
John Abbott
Testing
Bug #418
: What does interreduce do?
Can we close this?
0.25
24 Jan 2014
John Abbott
Testing
Bug #423
: Emacs UI: semicolon does not work in emacs-24.3
Seems to work for me
0.25
23 Jan 2014
John Abbott
Testing
Slug #405
: ReducedGBasis not memorized in an ideal
Anytime soon?
0.25
22 Jan 2014
John Abbott
Testing
Feature #381
: Emacs User Interface: Easier binding for sending a line to cocoa-5
Seems to work for me
0.25
22 Jan 2014
John Abbott
Testing
Feature #352
: Should SourceRegion echo the "region"?
I prefer not to see the output
0.25
21 Jan 2014
John Abbott
Testing
Bug #279
: Bug in Radical (actually a RingHom problem)
Another failing case
0.25
06 Jan 2014
John Abbott
Testing
Feature #419
: FloatStr
Profile?
0.25
25 Oct 2013
John Abbott
Testing
Bug #32
: Elim(t, I)
Another problem
0.25
25 Oct 2013
John Abbott
Testing
Bug #279
: Bug in Radical (actually a RingHom problem)
More problems
0.25
02 Aug 2013
Anna Maria Bigatti
Testing
Feature #381
: Emacs User Interface: Easier binding for sending a line to cocoa-5
still problems with CUA
0.50
01 Aug 2013
Anna Maria Bigatti
Testing
Feature #193
: BuiltinFunctions.C getting too long (2000 lines)
it works
0.25
01 Aug 2013
Anna Maria Bigatti
Testing
Feature #393
: add Value::from(HPSeries)
it works
0.25
01 Aug 2013
Anna Maria Bigatti
Testing
Feature #393
: add Value::from(HPSeries)
it works
0.25
01 Aug 2013
Anna Maria Bigatti
Testing
Feature #392
: add Value::from(factorization<..>)
it works
0.25
01 Aug 2013
Anna Maria Bigatti
Testing
Feature #318
: implement "indent" for modules
final touch: added parentheses
0.25
01 Aug 2013
Anna Maria Bigatti
Testing
Feature #237
: port homog/homogenized for ideal to cocoa-5
it works
0.25
01 Aug 2013
Anna Maria Bigatti
Testing
Feature #393
: add Value::from(HPSeries)
it works
0.25
28 Jun 2013
John Abbott
Testing
Feature #380
: Add Frobby functions to cocoa-5
Changed Frobby fn names
1.00
19 Jun 2013
Anna Maria Bigatti
Testing
Design #376
: Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C
more checks and chek-in
0.25
24 May 2013
John Abbott
Testing
Bug #344
: basic_string::erase error in interpreter
Closing
0.10
24 May 2013
John Abbott
Testing
Bug #343
: Interpreter SEGV
Improved robustness of SourceRegion
1.00
21 May 2013
Anna Maria Bigatti
Testing
Feature #336
: Mat(Module) should give error
seems all done
0.05
21 May 2013
John Abbott
Testing
Feature #336
: Mat(Module) should give error
Seems fine
0.25
21 May 2013
John Abbott
Testing
Bug #280
: EmacsUI: indentation is wrong with parentheses
No negative feedback
0.15
21 May 2013
John Abbott
Testing
Feature #8
: source region
Design works OK for course on Alg Comp
0.25
20 May 2013
John Abbott
Testing
Bug #344
: basic_string::erase error in interpreter
Changing state to feedback
0.25
07 May 2013
John Abbott
Testing
Bug #344
: basic_string::erase error in interpreter
Annoying"minor" bug
0.25
24 Apr 2013
John Abbott
Testing
Bug #344
: basic_string::erase error in interpreter
Credit where credit's due
0.10
08 Apr 2013
Anna Maria Bigatti
Testing
Feature #336
: Mat(Module) should give error
tested, cvs-ed, public version
0.20
08 Apr 2013
John Abbott
Testing
Feature #273
: Package for Polynomial Algebra Homomorphisms
Testing of Anna's hasty module impl
3.50
27 Feb 2013
John Abbott
Testing
Bug #321
: interpreter proposes no near misses for "bin"
Suggestions depend on arity
0.50
26 Feb 2013
John Abbott
Testing
Bug #118
: unistd and call to access in Main.C
No problems have surfaced in 9 months
0.15
21 Feb 2013
Anna Maria Bigatti
Testing
Bug #34
: CoCoAManual: obsolete entries in the manual
working on it
2.00
18 Feb 2013
John Abbott
Testing
Bug #102
: Packages: should exported functions be automatically "Protect"ed?
Testing OK
0.50
11 Feb 2013
Anna Maria Bigatti
Testing
Feature #274
: InputForm for output readable as input
renamed target version
0.25
11 Feb 2013
Anna Maria Bigatti
Testing
Feature #237
: port homog/homogenized for ideal to cocoa-5
just testing: I had already done it..
0.50
11 Feb 2013
Anna Maria Bigatti
Testing
Bug #226
: HilbertBasis segv
the fix done found with valgrind seems to solve all the problems
0.25
25 Jan 2013
Anna Maria Bigatti
Testing
Bug #226
: HilbertBasis segv
another hidden bug
1.00
02 Oct 2012
Anna Maria Bigatti
Testing
Bug #249
: BuiltIn Normaliz functions not available in CoCoA5Interpreter
testing
0.50
01 Oct 2012
John Abbott
Testing
Support #240
: GUI compilation: GMP is not naturally thread-safe
Awaiting confirmation
0.20
03 Sep 2012
John Abbott
Testing
Bug #217
: Makedependencies of CoCoA-5 fails if BOOST is absent
Seems OK now
0.25
20 Jul 2012
Anna Maria Bigatti
Testing
Feature #204
: NmzComputation: the powerful NormalizComputation function in CoCoA-5
problems...
0.50
19 Jul 2012
Christof Soeger
Testing
Bug #207
: BuiltIn Normaliz functions not available in C5 gui
Works (almost)
0.50
16 Jul 2012
Anna Maria Bigatti
Testing
Bug #207
: BuiltIn Normaliz functions not available in C5 gui
checked and tested
1.00
04 Jul 2012
John Abbott
Testing
Bug #98
: RealRoots should use IsRational
Seems fine.
0.10
04 Jul 2012
Anna Maria Bigatti
Testing
Bug #201
: segmentation fault with function defined in package ("PrintHGIndices"): First and Last
fixed also First and Last for [] and added test
0.50
22 Jun 2012
Anna Maria Bigatti
Testing
Bug #192
: indent prints strings without quotes
printing strings with escaped elements
0.25
20 Jun 2012
John Abbott
Testing
Slug #191
: Slow lex gbasis
Now it's OK
0.30
20 Jun 2012
Anna Maria Bigatti
Testing
Slug #191
: Slow lex gbasis
thinking, testing..
0.20
14 Jun 2012
John Abbott
Testing
Bug #186
: LCM(0,x)
Added test
2.00
08 Jun 2012
Anna Maria Bigatti
Testing
Bug #159
: Multiplicity sometimes wrong
added test, fixed manual, cvs-ed
0.50
08 Jun 2012
Anna Maria Bigatti
Testing
Bug #162
: RegularityIndex <= 0
added test, cvs-ed
0.50
30 May 2012
John Abbott
Testing
Bug #163
: RealRootsApprox bombs
No further problems
0.25
24 May 2012
Anna Maria Bigatti
Testing
Bug #137
: JAA does not like the name IndetInd
last check
0.25
20 May 2012
John Abbott
Testing
Bug #163
: RealRootsApprox bombs
Added new C5 test specially for RealRoot
0.50
02 Apr 2012
Anna Maria Bigatti
Testing
Bug #88
: Makefile problem with GUI on linux
apparently the bug has gone.... maybe just a "make veryclean" ws needed???
1.00
01 Mar 2012
John Abbott
Testing
Slug #96
: sort is too slow
Discovery and registration of the slug
0.50
14 Feb 2012
Anna Maria Bigatti
Testing
Feature #90
: Make the new fn CoefficientsWRT available in C5
added (small) test-PPMonoidHom1.C for CoCoALib
0.50
14 Feb 2012
Anna Maria Bigatti
Testing
Feature #90
: Make the new fn CoefficientsWRT available in C5
added tests (for cocoa-5 only)
1.00
19 Jan 2012
Anna Maria Bigatti
Testing
Feature #77
: Porting package "primary.cpkg" to cocoa-5
activated automatic testing of the package
0.50
09 Nov 2011
Anna Maria Bigatti
Testing
Feature #18
: Printing matrices: I/O unified style for CoCoA-5?
changed test outputs
0.30
« Previous
1
…
5
6
7
Next »
(3001-3319/3319)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...