⚲
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:
231.23
Date
User
Activity
Issue
Comment
Hours
10 Mar 2023
John Abbott
Design
Design #1075
: LaTeX package: power-product printing
Latex spacing
0.10
10 Mar 2023
John Abbott
Design
Design #1075
: LaTeX package: power-product printing
backslash
0.25
10 Mar 2023
John Abbott
Discussion
Feature #7
: Automatic mapping between (some) rings
Status?
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
Development
Design #1477
: Packages: questions from Andraschko
Status
0.40
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
Discussion
Feature #1718
: FactorINT with time-out
No comments
0.20
07 Mar 2023
John Abbott
Discussion
Support #1675
: Version 5.4.0 requires Visual C++ Runtime 2013 on Windows
Erm
0.25
27 Feb 2023
John Abbott
Development
Design #1681
: Should Starting be case-insensitive?
Revised code
0.30
27 Feb 2023
John Abbott
Discussion
Design #1681
: Should Starting be case-insensitive?
Both?
0.10
27 Feb 2023
Anna Maria Bigatti
Development
Feature #1724
: New function: AdjacentMinors
0.50
14 Feb 2023
John Abbott
Development
Support #1688
: Release CoCoA 5.4.2
Vietnam
0.10
14 Feb 2023
John Abbott
Testing
Design #1698
: indent: return a string?
Checked in?
0.10
01 Jan 2023
John Abbott
Testing
Design #1698
: indent: return a string?
Checked in?
0.10
01 Jan 2023
John Abbott
Development
Feature #1718
: FactorINT with time-out
Almost done
2.00
16 Dec 2022
John Abbott
Design
Feature #1718
: FactorINT with time-out
Some notes
1.50
14 Dec 2022
John Abbott
Documentation
Design #1697
: Specifying BOOST in configure
Major update
1.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
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
Found something dodgy
0.50
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
More info
0.20
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
Relevant source
0.20
30 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Revised release script
1.50
30 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Proposal
0.20
28 Nov 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Oh joy!
0.50
26 Nov 2022
John Abbott
Debugging
Bug #1714
: IsDivisible error (in QuotRing)
Got it!
1.00
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
Discussion
Support #1393
: GUI with Qt5
Bounced
0.20
23 Nov 2022
John Abbott
Documentation
Support #1393
: GUI with Qt5
paper-shuffling
0.25
23 Nov 2022
John Abbott
Development
Bug #1695
: boost-find-lib.sh
Resolved?
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
Design #1709
: Test tut-CoCoLA2
Some notes
0.20
07 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Licence
0.20
04 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Simpler?
0.25
04 Nov 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Ouch!
0.50
02 Nov 2022
John Abbott
Discussion
Bug #1708
: Linux: just 1 executable, should be 2 (with & without readline)
Some notes
0.25
24 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Wow!
0.10
21 Oct 2022
John Abbott
Development
Feature #1701
: Preliminary packages
New dir
0.40
21 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some thoughts
0.25
19 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.50
17 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some notes
0.40
17 Oct 2022
John Abbott
Development
Design #1568
: RMap and image: obsolescent?
Progress?
0.10
17 Oct 2022
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
New students
0.20
17 Oct 2022
John Abbott
Discussion
Feature #1373
: GFan also for Microsoft?
Nico Mexis
0.10
14 Oct 2022
Anna Maria Bigatti
Documentation
Design #1697
: Specifying BOOST in configure
2.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
Development
Support #1393
: GUI with Qt5
Quick!
0.10
07 Oct 2022
John Abbott
Discussion
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Status report
0.10
07 Oct 2022
John Abbott
Discussion
Slug #750
: C5 GUI: very slow when printing many short lines
Closing
0.40
06 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Tests
0.20
06 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Test script
0.20
06 Oct 2022
John Abbott
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Free module names
0.20
05 Oct 2022
Anna Maria Bigatti
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
0.10
05 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.25
30 Sep 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Undecided
0.25
28 Sep 2022
John Abbott
Development
Design #1698
: indent: return a string?
Prototype
0.40
28 Sep 2022
John Abbott
Testing
Bug #1604
: SqFreeFactor crashes over non-perfect field
Status report
0.25
27 Sep 2022
John Abbott
Discussion
Design #1698
: indent: return a string?
Some notes
0.30
27 Sep 2022
John Abbott
Documentation
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Document?
0.10
27 Sep 2022
John Abbott
Testing
Slug #750
: C5 GUI: very slow when printing many short lines
Update
0.50
27 Sep 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Release
0.20
26 Sep 2022
Anna Maria Bigatti
Discussion
Feature #461
: New keyword "|->"? (same as "return")
discussion
1.00
26 Sep 2022
John Abbott
Discussion
Feature #461
: New keyword "|->"? (same as "return")
Reject?
0.10
15 Sep 2022
John Abbott
Design
Design #1697
: Specifying BOOST in configure
Renaming
0.50
15 Sep 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Almost done
0.20
22 Aug 2022
John Abbott
Design
Design #1697
: Specifying BOOST in configure
Name?
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
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
16 Aug 2022
John Abbott
Debugging
Bug #1695
: boost-find-lib.sh
Some notes
0.50
13 Jun 2022
John Abbott
Documentation
Support #1688
: Release CoCoA 5.4.2
Main changes
0.10
09 Jun 2022
John Abbott
Documentation
Support #1686
: Manual entry for random (see also)
Some notes
0.40
31 May 2022
John Abbott
Documentation
Support #1663
: GCDList not documented
Some notes
0.10
20 Apr 2022
John Abbott
Design
Design #1679
: BuiltinFunctions-GFan includes normaliz?!?
Some notes
0.25
13 Apr 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Copyright
0.25
10 Apr 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Checked in
1.50
17 Mar 2022
Ulrich von der Ohe
Development
Support #1393
: GUI with Qt5
3.00
16 Mar 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Checked in
1.00
12 Mar 2022
John Abbott
Design
Support #1393
: GUI with Qt5
Why?
0.10
12 Mar 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Works for me
0.40
07 Mar 2022
Anna Maria Bigatti
Discussion
Slug #1629
: RingElem slow with many indets
0.50
03 Mar 2022
Ulrich von der Ohe
Debugging
Support #1393
: GUI with Qt5
std::thread
1.00
03 Mar 2022
Ulrich von der Ohe
Debugging
Support #1393
: GUI with Qt5
Don't really recall how many hours it took. According to old emails, I worked on it over the course of three to four days in 2019 for CoCoALib 0.99601 and somehow couldn't get it to work with 0.99650. It took a couple of hours doing everything from scratch for 0.99718 in 2022.
24.00
25 Feb 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
It works!
4.00
18 Feb 2022
John Abbott
Documentation
Support #242
: CoCoA-5 Projects for students (e.g. crediti F and tesi)
Split?
0.20
18 Feb 2022
Anna Maria Bigatti
Documentation
Feature #1415
: thmproving package
0.20
18 Feb 2022
John Abbott
Documentation
Support #322
: Installation instructions (on website)
For linux
0.20
16 Feb 2022
John Abbott
Testing
Support #1534
: Install CoCoA-5 on MacOS-10.15+
ANNA!
0.10
16 Feb 2022
John Abbott
Documentation
Design #1477
: Packages: questions from Andraschko
Mostly done
0.20
09 Feb 2022
Anna Maria Bigatti
Testing
Bug #946
: Function "ideal" evaluates the argument twice
0.50
03 Feb 2022
John Abbott
Design
Bug #1244
: MSatLinSolve: req minor improvements
Added quick test
0.25
03 Feb 2022
John Abbott
Documentation
Feature #1415
: thmproving package
Status?
0.10
03 Feb 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Must not lose this
0.10
« Previous
1
2
3
4
…
6
Next »
(101-200/568)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...