⚲
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
16 May 2012
John Abbott
Design
Bug #110
: Surprise return type for GCD of a list of ints
Discussion with Anna about name of IsGCDDomain
1.00
16 May 2012
John Abbott
Design
Bug #110
: Surprise return type for GCD of a list of ints
Origin of myGcdInField
1.00
17 May 2012
Anna Maria Bigatti
Design
Bug #110
: Surprise return type for GCD of a list of ints
Proposed names for IsGCDDomain
0.25
17 May 2012
John Abbott
Design
Bug #110
: Surprise return type for GCD of a list of ints
Still looking for a good name
0.25
17 May 2012
Anna Maria Bigatti
Design
Bug #110
: Surprise return type for GCD of a list of ints
Final decision?
0.20
17 May 2012
John Abbott
Design
Bug #110
: Surprise return type for GCD of a list of ints
Choosing names
0.20
28 May 2012
John Abbott
Development
Bug #110
: Surprise return type for GCD of a list of ints
Implemented
3.50
28 May 2012
John Abbott
Documentation
Bug #110
: Surprise return type for GCD of a list of ints
Forgot the C5 documentation; also logging testing & check-in times.
1.00
28 Mar 2012
Anna Maria Bigatti
Debugging
Bug #115
: PP ordering bug
fixed (x >= x --> true) and added test in anna.cocoa5
1.00
03 Apr 2012
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
Not in BOOST
0.10
01 Jun 2012
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
An idea
0.10
02 Jun 2012
Anna Maria Bigatti
Design
Bug #117
: Added 3 times defn of isblank fn
reply
0.20
30 Jul 2015
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
Existing fn?
0.25
30 Jul 2015
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
Postpone
0.10
08 Oct 2015
John Abbott
Development
Bug #117
: Added 3 times defn of isblank fn
Created C5Utils.H
0.30
08 Oct 2015
John Abbott
Design
Bug #117
: Added 3 times defn of isblank fn
Worthwhile?
0.10
09 Oct 2015
John Abbott
Testing
Bug #117
: Added 3 times defn of isblank fn
Checked in
0.10
17 Feb 2016
John Abbott
Testing
Bug #117
: Added 3 times defn of isblank fn
Closing
0.10
03 Apr 2012
John Abbott
Design
Bug #118
: unistd and call to access in Main.C
Preliminary investigations
0.50
04 Apr 2012
John Abbott
Debugging
Bug #118
: unistd and call to access in Main.C
JAA does not understand the code.
0.40
10 Apr 2012
John Abbott
Development
Bug #118
: unistd and call to access in Main.C
Switched to using BOOST fns
8.00
17 Apr 2012
John Abbott
Design
Bug #118
: unistd and call to access in Main.C
Waiting for Anna
0.20
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
02 Jun 2012
Anna Maria Bigatti
Design
Bug #118
: unistd and call to access in Main.C
reply to #5
0.25
07 Jun 2012
John Abbott
Design
Bug #118
: unistd and call to access in Main.C
OK to give warning
0.20
08 Jun 2012
John Abbott
Development
Bug #118
: unistd and call to access in Main.C
Implemented
1.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
20 Mar 2014
John Abbott
Testing
Bug #118
: unistd and call to access in Main.C
Closing after >12 months in feedback
0.25
04 Jun 2012
Anna Maria Bigatti
Development
Feature #128
: wordlist.txt generation
made new function in OnlineHelp.C
1.50
07 Jun 2012
Anna Maria Bigatti
Development
Feature #128
: wordlist.txt generation
updated makefile, cvs-ed
1.50
18 Apr 2012
John Abbott
Design
Feature #131
: Conversion from bool to INT
Further thoughts
0.30
18 Apr 2012
John Abbott
Design
Feature #131
: Conversion from bool to INT
Similar to Iverson bracket
0.20
21 May 2012
John Abbott
Design
Feature #131
: Conversion from bool to INT
Not automatic
0.40
21 May 2012
Anna Maria Bigatti
Design
Feature #131
: Conversion from bool to INT
suggested name Bool01
0.25
25 May 2012
John Abbott
Design
Feature #131
: Conversion from bool to INT
KISS
0.50
25 May 2012
John Abbott
Development
Feature #131
: Conversion from bool to INT
Implemented
0.80
31 Mar 2014
John Abbott
Debugging
Bug #132
: BringIn should allow reduction modulo p
Even worse!
0.25
01 Apr 2014
John Abbott
Design
Bug #132
: BringIn should allow reduction modulo p
Revise doc or impl
0.25
22 Jul 2014
Anna Maria Bigatti
Development
Bug #132
: BringIn should allow reduction modulo p
works in some cases
0.50
04 Sep 2014
John Abbott
Testing
Bug #132
: BringIn should allow reduction modulo p
Closing after 1 month in feedback
0.25
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
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
24 Apr 2012
John Abbott
Design
Bug #137
: JAA does not like the name IndetInd
Return record fields in IndetSymbols
0.10
21 May 2012
John Abbott
Design
Bug #137
: JAA does not like the name IndetInd
Anna liked "subscript"
0.25
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
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
Documentation
Bug #137
: JAA does not like the name IndetInd
fixed and cleaned doc for symbol
0.65
24 May 2012
Anna Maria Bigatti
Testing
Bug #137
: JAA does not like the name IndetInd
last check
0.25
01 Jun 2012
John Abbott
Design
Bug #148
: C-c C-p in emacs goes to wrong line
Some ideas
0.30
06 Jun 2015
John Abbott
Debugging
Bug #148
: C-c C-p in emacs goes to wrong line
Related problem?
0.25
30 Sep 2022
John Abbott
Discussion
Bug #148
: C-c C-p in emacs goes to wrong line
Anna?
0.10
05 Oct 2022
Anna Maria Bigatti
Design
Bug #148
: C-c C-p in emacs goes to wrong line
1.00
06 Oct 2022
John Abbott
Testing
Bug #148
: C-c C-p in emacs goes to wrong line
Some test cases
0.50
15 May 2012
John Abbott
Design
Bug #158
: May AsRAT produce an INT?
Should give a RAT
0.25
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?
Some more examples
0.20
15 May 2012
John Abbott
Development
Bug #158
: May AsRAT produce an INT?
Made & tested prototype
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?
Checked in
0.20
15 May 2012
John Abbott
Documentation
Bug #158
: May AsRAT produce an INT?
Where's the man page?
0.10
15 May 2012
Anna Maria Bigatti
Documentation
Bug #158
: May AsRAT produce an INT?
Added man for AsINT AsRAT
0.50
16 May 2012
Anna Maria Bigatti
Development
Bug #158
: May AsRAT produce an INT?
checked in CoCoAHelp
0.10
30 May 2012
John Abbott
Documentation
Bug #158
: May AsRAT produce an INT?
Impl completed and documented
0.50
15 May 2012
Anna Maria Bigatti
Debugging
Bug #159
: Multiplicity sometimes wrong
found silly bug
0.50
31 May 2012
Anna Maria Bigatti
Design
Bug #159
: Multiplicity sometimes wrong
added related bug
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
08 Jun 2012
Anna Maria Bigatti
Testing
Bug #159
: Multiplicity sometimes wrong
added test, fixed manual, cvs-ed
0.50
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
07 Jun 2012
Anna Maria Bigatti
Development
Bug #162
: RegularityIndex <= 0
fixed
1.00
08 Jun 2012
Anna Maria Bigatti
Testing
Bug #162
: RegularityIndex <= 0
added test, cvs-ed
0.50
20 May 2012
John Abbott
Debugging
Bug #163
: RealRootsApprox bombs
FStar should be F
0.40
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
Seems OK now
0.60
30 May 2012
John Abbott
Testing
Bug #163
: RealRootsApprox bombs
No further problems
0.25
25 Jun 2014
John Abbott
Development
Bug #164
: CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames
Done!
0.75
29 Jul 2015
John Abbott
Testing
Bug #164
: CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames
Works
0.20
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
07 Aug 2018
John Abbott
Documentation
Bug #168
: Type info in CoCoA-5 manual
Mostly done?
0.10
01 Oct 2019
John Abbott
Documentation
Bug #168
: Type info in CoCoA-5 manual
Close?
0.10
31 Jul 2014
Anna Maria Bigatti
Design
Support #169
: Font for parameters in manual
rules listing
0.50
07 Aug 2018
John Abbott
Documentation
Support #169
: Font for parameters in manual
Mostly done?
0.10
02 Oct 2019
John Abbott
Documentation
Support #169
: Font for parameters in manual
Work through manual
0.20
02 Mar 2022
Anna Maria Bigatti
Design
Support #169
: Font for parameters in manual
1.00
31 May 2022
John Abbott
Documentation
Support #169
: Font for parameters in manual
Close?
0.10
06 Mar 2017
John Abbott
Documentation
Bug #170
: CoCoAManual HTML: page for "Try"
Already done
0.10
01 Jun 2012
John Abbott
Design
Bug #171
: Negate LIST, MAT,...
I agree
0.20
10 Jun 2012
Anna Maria Bigatti
Design
Bug #171
: Negate LIST, MAT,...
looking into cocoalib for "negation" functions
0.25
11 Jun 2012
John Abbott
Development
Bug #171
: Negate LIST, MAT,...
Added negation
0.20
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 scalar mult on the right
0.50
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
Design
Bug #171
: Negate LIST, MAT,...
Structures which could admit scalar multiplication
0.25
12 Jun 2012
Anna Maria Bigatti
Design
Bug #171
: Negate LIST, MAT,...
reply to #8
0.20
27 Mar 2014
John Abbott
Design
Bug #171
: Negate LIST, MAT,...
List arithmetic
0.50
01 Jun 2012
Anna Maria Bigatti
Development
Feature #172
: add customization for --fullCoCoALibError in EmacsUI
done (always a problem using lisp...)
1.00
07 Jun 2012
John Abbott
Design
Feature #173
: Anonymous symbols: should they be available in CoCoA-5?
Suggestions for solutions
0.20
22 Jul 2014
Anna Maria Bigatti
Design
Feature #173
: Anonymous symbols: should they be available in CoCoA-5?
thinking, trying... rejecting?
0.25
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
26 Feb 2014
John Abbott
Development
Feature #175
: Approximate BuchbergerMoeller: port to CoCoA-5
JAA
0.10
07 Apr 2017
Anna Maria Bigatti
Development
Feature #175
: Approximate BuchbergerMoeller: port to CoCoA-5
1.00
« 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...