⚲
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:
4993.82
Date
User
Activity
Issue
Comment
Hours
23 Sep 2020
John Abbott
Debugging
Bug #1200
: Package exported function: wrong package name
Source code
0.10
23 Sep 2020
John Abbott
Development
Bug #1200
: Package exported function: wrong package name
Postponing
0.10
23 Sep 2020
John Abbott
Design
Support #692
: Local variables hiding out ones at top level
More thoughts
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
17 Sep 2020
John Abbott
Development
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
More notes
0.50
16 Sep 2020
John Abbott
Design
Feature #1488
: BuiltIn Interreduce-Function
Semantics & other ideas
0.25
16 Sep 2020
John Abbott
Development
Feature #1488
: BuiltIn Interreduce-Function
Adjoined
1.00
16 Sep 2020
John Abbott
Development
Feature #1488
: BuiltIn Interreduce-Function
Revised source
1.00
15 Sep 2020
John Abbott
Design
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
Good point
0.25
14 Sep 2020
John Abbott
Design
Support #1486
: Emacs UI: indentation in a package
Some notes
0.20
14 Sep 2020
John Abbott
Design
Feature #1485
: Simple syntax for making a quotient ring?
Some notes
0.10
14 Sep 2020
John Abbott
Debugging
Bug #1484
: ker bug (quotientinghom for R/ideal())
More to do?
0.10
14 Sep 2020
John Abbott
Debugging
Bug #1484
: ker bug (quotientinghom for R/ideal())
Mostly done?
0.00
14 Sep 2020
John Abbott
Debugging
Feature #1485
: Simple syntax for making a quotient ring?
More places?
0.10
14 Sep 2020
John Abbott
Debugging
Feature #1485
: Simple syntax for making a quotient ring?
Mostly done?
0.25
14 Sep 2020
John Abbott
Development
Feature #1483
: IsPowerOf2 for rationals
Done
0.25
31 Aug 2020
John Abbott
Design
Feature #1482
: Extended rationals: PlusInfinity and MinusInfinity
More notes
0.20
31 Aug 2020
John Abbott
Design
Feature #1482
: Extended rationals: PlusInfinity and MinusInfinity
GMP
0.10
31 Aug 2020
John Abbott
Development
Feature #1176
: interval arithmetic
MPRIA
0.10
31 Aug 2020
John Abbott
Design
Feature #1482
: Extended rationals: PlusInfinity and MinusInfinity
Some notes
0.50
31 Aug 2020
John Abbott
Design
Feature #1482
: Extended rationals: PlusInfinity and MinusInfinity
Some notes
0.50
28 Aug 2020
John Abbott
Documentation
Support #1481
: Release CoCoALib 0.99800
Summary of changes
0.20
28 Aug 2020
John Abbott
Development
Support #1196
: Split MatrixOps
Partly done
1.00
11 Aug 2020
John Abbott
Documentation
Support #1480
: Documentation for making ring with parameters
0.20
« Previous
1
…
74
75
76
77
78
…
288
Next »
(1876-1900/7180)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...