⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoA-5
All Projects
CoCoA
»
CoCoA-5
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Spent time
Filters
Add filter
Issue
User
Activity
Comment
Hours
Date
Issue's Tracker
Issue's Status
Issue's Target version
Options
Columns
Available Columns
Project
Week
Tracker
Status
Selected Columns
Date
User
Activity
Issue
Comment
Hours
Group results by
Project
Date
User
Activity
Totals
Hours
Apply
Clear
Details
Report
Hours:
1999.20
Date
User
Activity
Issue
Comment
Hours
15 May 2012
Anna Maria Bigatti
Design
Bug #110
: Surprise return type for GCD of a list of ints
gcd for BigRat: cocoa/cocoalib
0.50
15 May 2012
Anna Maria Bigatti
Documentation
Bug #110
: Surprise return type for GCD of a list of ints
fixed documentation, checked other functions
0.60
15 May 2012
Anna Maria Bigatti
Development
Bug #110
: Surprise return type for GCD of a list of ints
written code for converting general list into vector<BigInt>
1.00
14 May 2012
John Abbott
Design
Bug #110
: Surprise return type for GCD of a list of ints
Reading homogeneous lists
0.30
14 May 2012
John Abbott
Design
Bug #110
: Surprise return type for GCD of a list of ints
Separate name for int GCD is a *bad* idea
0.20
14 May 2012
John Abbott
Design
Bug #110
: Surprise return type for GCD of a list of ints
Reading homogeneous lists
0.20
14 May 2012
John Abbott
Debugging
Bug #110
: Surprise return type for GCD of a list of ints
Sme students encountered the same problem
0.20
19 Mar 2012
John Abbott
Debugging
Bug #110
: Surprise return type for GCD of a list of ints
A workaround
0.50
28 Mar 2012
Anna Maria Bigatti
Debugging
Bug #115
: PP ordering bug
fixed (x >= x --> true) and added test in anna.cocoa5
1.00
17 Feb 2016
John Abbott
Testing
Bug #117
: Added 3 times defn of isblank fn
Closing
0.10
09 Oct 2015
John Abbott
Testing
Bug #117
: Added 3 times defn of isblank fn
Checked in
0.10
08 Oct 2015
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
Worthwhile?
0.10
08 Oct 2015
John Abbott
Development
Bug #117
: Added 3 times defn of isblank fn
Created C5Utils.H
0.30
30 Jul 2015
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
Postpone
0.10
30 Jul 2015
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
Existing fn?
0.25
02 Jun 2012
Anna Maria Bigatti
Design
Bug #117
: Added 3 times defn of isblank fn
reply
0.20
01 Jun 2012
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
An idea
0.10
03 Apr 2012
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
Not in BOOST
0.10
20 Mar 2014
John Abbott
Testing
Bug #118
: unistd and call to access in Main.C
Closing after >12 months in feedback
0.25
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
08 Jun 2012
John Abbott
Development
Bug #118
: unistd and call to access in Main.C
Implemented
1.50
07 Jun 2012
John Abbott
Design
Bug #118
: unistd and call to access in Main.C
OK to give warning
0.20
02 Jun 2012
Anna Maria Bigatti
Design
Bug #118
: unistd and call to access in Main.C
reply to #5
0.25
01 Jun 2012
John Abbott
Design
Bug #118
: unistd and call to access in Main.C
Still waiting for an answer from Anna
0.20
17 Apr 2012
John Abbott
Design
Bug #118
: unistd and call to access in Main.C
Waiting for Anna
0.20
10 Apr 2012
John Abbott
Development
Bug #118
: unistd and call to access in Main.C
Switched to using BOOST fns
8.00
04 Apr 2012
John Abbott
Debugging
Bug #118
: unistd and call to access in Main.C
JAA does not understand the code.
0.40
03 Apr 2012
John Abbott
Design
Bug #118
: unistd and call to access in Main.C
Preliminary investigations
0.50
07 Jun 2012
Anna Maria Bigatti
Development
Feature #128
: wordlist.txt generation
updated makefile, cvs-ed
1.50
04 Jun 2012
Anna Maria Bigatti
Development
Feature #128
: wordlist.txt generation
made new function in OnlineHelp.C
1.50
25 May 2012
John Abbott
Development
Feature #131
: Conversion from bool to INT
Implemented
0.80
25 May 2012
John Abbott
Design
Feature #131
: Conversion from bool to INT
KISS
0.50
21 May 2012
Anna Maria Bigatti
Design
Feature #131
: Conversion from bool to INT
suggested name Bool01
0.25
21 May 2012
John Abbott
Design
Feature #131
: Conversion from bool to INT
Not automatic
0.40
18 Apr 2012
John Abbott
Design
Feature #131
: Conversion from bool to INT
Similar to Iverson bracket
0.20
18 Apr 2012
John Abbott
Design
Feature #131
: Conversion from bool to INT
Further thoughts
0.30
04 Sep 2014
John Abbott
Testing
Bug #132
: BringIn should allow reduction modulo p
Closing after 1 month in feedback
0.25
22 Jul 2014
Anna Maria Bigatti
Development
Bug #132
: BringIn should allow reduction modulo p
works in some cases
0.50
01 Apr 2014
John Abbott
Design
Bug #132
: BringIn should allow reduction modulo p
Revise doc or impl
0.25
31 Mar 2014
John Abbott
Debugging
Bug #132
: BringIn should allow reduction modulo p
Even worse!
0.25
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
23 Apr 2012
John Abbott
Debugging
Feature #133
: Qt GUI: Make better distinction between input and output in the output window
Blank lines is a recent problem
0.20
24 May 2012
Anna Maria Bigatti
Testing
Bug #137
: JAA does not like the name IndetInd
last check
0.25
24 May 2012
Anna Maria Bigatti
Documentation
Bug #137
: JAA does not like the name IndetInd
fixed and cleaned doc for symbol
0.65
24 May 2012
Anna Maria Bigatti
Development
Bug #137
: JAA does not like the name IndetInd
CVS checked in
0.50
24 May 2012
Anna Maria Bigatti
Development
Bug #137
: JAA does not like the name IndetInd
changed name in all files and tests
1.50
21 May 2012
John Abbott
Design
Bug #137
: JAA does not like the name IndetInd
Anna liked "subscript"
0.25
24 Apr 2012
John Abbott
Design
Bug #137
: JAA does not like the name IndetInd
Return record fields in IndetSymbols
0.10
06 Oct 2022
John Abbott
Testing
Bug #148
: C-c C-p in emacs goes to wrong line
Some test cases
0.50
05 Oct 2022
Anna Maria Bigatti
Design
Bug #148
: C-c C-p in emacs goes to wrong line
1.00
30 Sep 2022
John Abbott
Discussion
Bug #148
: C-c C-p in emacs goes to wrong line
Anna?
0.10
06 Jun 2015
John Abbott
Debugging
Bug #148
: C-c C-p in emacs goes to wrong line
Related problem?
0.25
01 Jun 2012
John Abbott
Design
Bug #148
: C-c C-p in emacs goes to wrong line
Some ideas
0.30
30 May 2012
John Abbott
Documentation
Bug #158
: May AsRAT produce an INT?
Impl completed and documented
0.50
16 May 2012
Anna Maria Bigatti
Development
Bug #158
: May AsRAT produce an INT?
checked in CoCoAHelp
0.10
15 May 2012
Anna Maria Bigatti
Documentation
Bug #158
: May AsRAT produce an INT?
Added man for AsINT AsRAT
0.50
15 May 2012
John Abbott
Documentation
Bug #158
: May AsRAT produce an INT?
Where's the man page?
0.10
15 May 2012
John Abbott
Development
Bug #158
: May AsRAT produce an INT?
Checked in
0.20
15 May 2012
Anna Maria Bigatti
Design
Bug #158
: May AsRAT produce an INT?
searching calls and usage
0.50
15 May 2012
John Abbott
Development
Bug #158
: May AsRAT produce an INT?
Made & tested prototype
0.20
15 May 2012
John Abbott
Design
Bug #158
: May AsRAT produce an INT?
Some more examples
0.20
15 May 2012
John Abbott
Development
Bug #158
: May AsRAT produce an INT?
AsRAT is defined in a package
0.20
15 May 2012
John Abbott
Design
Bug #158
: May AsRAT produce an INT?
Should give a RAT
0.25
08 Jun 2012
Anna Maria Bigatti
Testing
Bug #159
: Multiplicity sometimes wrong
added test, fixed manual, cvs-ed
0.50
01 Jun 2012
Anna Maria Bigatti
Development
Bug #159
: Multiplicity sometimes wrong
mostly decided and working. need some tests and documentation
2.00
31 May 2012
Anna Maria Bigatti
Design
Bug #159
: Multiplicity sometimes wrong
added related bug
0.50
15 May 2012
Anna Maria Bigatti
Debugging
Bug #159
: Multiplicity sometimes wrong
found silly bug
0.50
08 Jun 2012
Anna Maria Bigatti
Testing
Bug #162
: RegularityIndex <= 0
added test, cvs-ed
0.50
07 Jun 2012
Anna Maria Bigatti
Development
Bug #162
: RegularityIndex <= 0
fixed
1.00
17 May 2012
Anna Maria Bigatti
Design
Bug #162
: RegularityIndex <= 0
considering all cases and testing current code in cocoa-4 and 5
1.00
30 May 2012
John Abbott
Testing
Bug #163
: RealRootsApprox bombs
No further problems
0.25
20 May 2012
John Abbott
Debugging
Bug #163
: RealRootsApprox bombs
Seems OK now
0.60
20 May 2012
John Abbott
Testing
Bug #163
: RealRootsApprox bombs
Added new C5 test specially for RealRoot
0.50
20 May 2012
John Abbott
Debugging
Bug #163
: RealRootsApprox bombs
FStar should be F
0.40
29 Jul 2015
John Abbott
Testing
Bug #164
: CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames
Works
0.20
25 Jun 2014
John Abbott
Development
Bug #164
: CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames
Done!
0.75
21 May 2013
Anna Maria Bigatti
Development
Bug #166
: Dim/Multiplicity with Lex ordering -- NYI
I guess I spent at least 1 hour on it. Honestly I don't remember
1.00
01 Oct 2019
John Abbott
Documentation
Bug #168
: Type info in CoCoA-5 manual
Close?
0.10
07 Aug 2018
John Abbott
Documentation
Bug #168
: Type info in CoCoA-5 manual
Mostly done?
0.10
31 May 2022
John Abbott
Documentation
Support #169
: Font for parameters in manual
Close?
0.10
02 Mar 2022
Anna Maria Bigatti
Design
Support #169
: Font for parameters in manual
1.00
02 Oct 2019
John Abbott
Documentation
Support #169
: Font for parameters in manual
Work through manual
0.20
07 Aug 2018
John Abbott
Documentation
Support #169
: Font for parameters in manual
Mostly done?
0.10
31 Jul 2014
Anna Maria Bigatti
Design
Support #169
: Font for parameters in manual
rules listing
0.50
06 Mar 2017
John Abbott
Documentation
Bug #170
: CoCoAManual HTML: page for "Try"
Already done
0.10
27 Mar 2014
John Abbott
Design
Bug #171
: Negate LIST, MAT,...
List arithmetic
0.50
12 Jun 2012
Anna Maria Bigatti
Design
Bug #171
: Negate LIST, MAT,...
reply to #8
0.20
11 Jun 2012
John Abbott
Design
Bug #171
: Negate LIST, MAT,...
Structures which could admit scalar multiplication
0.25
11 Jun 2012
John Abbott
Development
Bug #171
: Negate LIST, MAT,...
Added scalar mult on the right & unary minus for matrices in C5
0.50
11 Jun 2012
John Abbott
Development
Bug #171
: Negate LIST, MAT,...
Added scalar mult on the right
0.50
11 Jun 2012
Anna Maria Bigatti
Design
Bug #171
: Negate LIST, MAT,...
thinking, testing..
0.20
11 Jun 2012
John Abbott
Development
Bug #171
: Negate LIST, MAT,...
Added negation
0.20
10 Jun 2012
Anna Maria Bigatti
Design
Bug #171
: Negate LIST, MAT,...
looking into cocoalib for "negation" functions
0.25
01 Jun 2012
John Abbott
Design
Bug #171
: Negate LIST, MAT,...
I agree
0.20
01 Jun 2012
Anna Maria Bigatti
Development
Feature #172
: add customization for --fullCoCoALibError in EmacsUI
done (always a problem using lisp...)
1.00
28 Jul 2014
Anna Maria Bigatti
Design
Feature #173
: Anonymous symbols: should they be available in CoCoA-5?
final discussion with John --> reject
0.25
22 Jul 2014
Anna Maria Bigatti
Design
Feature #173
: Anonymous symbols: should they be available in CoCoA-5?
thinking, trying... rejecting?
0.25
07 Jun 2012
John Abbott
Design
Feature #173
: Anonymous symbols: should they be available in CoCoA-5?
Suggestions for solutions
0.20
19 Jan 2020
John Abbott
Development
Feature #175
: Approximate BuchbergerMoeller: port to CoCoA-5
Postponing
0.20
28 Apr 2017
John Abbott
Development
Feature #175
: Approximate BuchbergerMoeller: port to CoCoA-5
Status? Postpone?
0.10
« Previous
1
2
3
4
5
…
34
Next »
(201-300/3321)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...