⚲
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
30 Sep 2022
John Abbott
Discussion
Support #198
: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI
Rivalutare
0.20
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
John Abbott
Discussion
Feature #35
: Optional warnings for fn-proc arity
Too tricky?
0.25
26 Sep 2022
John Abbott
Testing
Bug #100
: BringIn should map only the indets in its arg
Status 2022-09-26
0.25
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
Bug #1093
: GUI: bugs and slugs
Intr mesgs
0.25
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
13 Jun 2022
John Abbott
Testing
Support #1471
: Release CoCoA-5.4.0
Close?
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 #169
: Font for parameters in manual
Close?
0.10
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
Development
Feature #1526
: EmacsUI: help/manual for selected string -- or just for word with cursor on?
1.00
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
John Abbott
Testing
Feature #1526
: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Clarification
0.20
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
03 Mar 2022
Anna Maria Bigatti
Discussion
Support #530
: Interpreter error message: "for" with missing "do"
0.50
02 Mar 2022
Anna Maria Bigatti
Design
Support #169
: Font for parameters in manual
1.00
02 Mar 2022
Anna Maria Bigatti
Development
Support #406
: Manual for CoCoAManual/CoCoAHelp.xml
4.00
25 Feb 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
It works!
4.00
24 Feb 2022
John Abbott
Testing
Support #530
: Interpreter error message: "for" with missing "do"
Useful?
0.10
23 Feb 2022
John Abbott
Testing
Support #1447
: Manual entry for RandomLinearForm
Seems OK now
0.25
23 Feb 2022
John Abbott
Discussion
Feature #1596
: Add CoCoA5 function NmzHilbertBasisKer
Return type/value
0.25
23 Feb 2022
Anna Maria Bigatti
Discussion
Design #1194
: Rename HilbertBasisKer into LinKerHilbertBasis?
0.50
23 Feb 2022
John Abbott
Design
Support #1478
: HilbertBasis: clarify
Resolved
0.50
23 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Seems OK now
0.40
18 Feb 2022
John Abbott
Discussion
Support #1471
: Release CoCoA-5.4.0
Version number
0.20
18 Feb 2022
John Abbott
Discussion
Support #1455
: In a release: which files inside the CoCoAManual
0.20
18 Feb 2022
John Abbott
Documentation
Support #1214
: CoCoAManual: ensure that LaTeX compilation is "clean"
0.10
18 Feb 2022
John Abbott
Documentation
Support #1451
: CoCoA Manual: make search keys public
2.00
18 Feb 2022
John Abbott
Documentation
Design #1525
: CoCoA Manual: homogenize obsolete/obsolescent entries
0.40
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
Testing
Bug #1029
: Readline: does not recognize interrupts
Add to pre-release checks?
0.10
18 Feb 2022
John Abbott
Documentation
Support #322
: Installation instructions (on website)
For linux
0.20
16 Feb 2022
John Abbott
Documentation
Support #1077
: Manual: remove old stuff about "devices"
Sooner or later
0.10
16 Feb 2022
John Abbott
Testing
Design #1504
: OnlineHelp: XMLFileName
Close?
0.10
16 Feb 2022
John Abbott
Testing
Support #1534
: Install CoCoA-5 on MacOS-10.15+
ANNA!
0.10
16 Feb 2022
John Abbott
Documentation
Support #406
: Manual for CoCoAManual/CoCoAHelp.xml
Postponing
0.10
16 Feb 2022
John Abbott
Documentation
Design #1477
: Packages: questions from Andraschko
Mostly done
0.20
16 Feb 2022
John Abbott
Testing
Support #1455
: In a release: which files inside the CoCoAManual
Soon find out
0.20
16 Feb 2022
John Abbott
Design
Support #1658
: LinKerZZ not documented
Closing
0.20
16 Feb 2022
John Abbott
Testing
Feature #1479
: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
Closing
0.20
16 Feb 2022
John Abbott
Development
Feature #606
: Evaluate in ring operator (was called :: in CoCoA-4)
Testing
0.20
16 Feb 2022
John Abbott
Development
Feature #1272
: Groebner Bases over ZZ
Closing
0.20
16 Feb 2022
John Abbott
Testing
Bug #1524
: wrong SystemCommand exit value
Reliability
0.25
16 Feb 2022
John Abbott
Testing
Bug #1029
: Readline: does not recognize interrupts
Suggestion
0.20
14 Feb 2022
Anna Maria Bigatti
Discussion
Support #1660
: Updating file obsolescent.cpkg5: make it easier
0.50
14 Feb 2022
Anna Maria Bigatti
Design
Design #1525
: CoCoA Manual: homogenize obsolete/obsolescent entries
0.50
09 Feb 2022
John Abbott
Testing
Bug #922
: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
No longer relevant
0.20
09 Feb 2022
Anna Maria Bigatti
Development
Support #1660
: Updating file obsolescent.cpkg5: make it easier
1.50
09 Feb 2022
Anna Maria Bigatti
Testing
Bug #946
: Function "ideal" evaluates the argument twice
0.50
07 Feb 2022
Anna Maria Bigatti
Development
Support #1660
: Updating file obsolescent.cpkg5: make it easier
1.50
07 Feb 2022
John Abbott
Design
Support #1658
: LinKerZZ not documented
Name?
0.10
07 Feb 2022
John Abbott
Documentation
Support #1658
: LinKerZZ not documented
Doc & debug
0.75
06 Feb 2022
John Abbott
Testing
Support #1471
: Release CoCoA-5.4.0
3 platforms OK
0.50
05 Feb 2022
John Abbott
Development
Support #1455
: In a release: which files inside the CoCoAManual
Changed
0.40
05 Feb 2022
John Abbott
Design
Support #1455
: In a release: which files inside the CoCoAManual
Ugly
0.20
04 Feb 2022
John Abbott
Documentation
Feature #1272
: Groebner Bases over ZZ
Doc done
0.40
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
Design
Support #1471
: Release CoCoA-5.4.0
Postponing
0.20
03 Feb 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Must not lose this
0.10
03 Feb 2022
John Abbott
Documentation
Feature #1549
: Add sagbi package
Either... or...
0.10
03 Feb 2022
John Abbott
Development
Design #929
: Clean up CoCoALibSupplement
Tedious
0.10
03 Feb 2022
John Abbott
Development
Design #474
: Eliminate package BinRepr
Postponing
0.10
03 Feb 2022
John Abbott
Testing
Design #1407
: Tagged values (Hilbert Series)
Feedback
0.10
03 Feb 2022
John Abbott
Documentation
Support #1471
: Release CoCoA-5.4.0
Confession?
0.20
03 Feb 2022
John Abbott
Testing
Bug #1294
: CoCoA-5 tests may fail even if executed correctly
Seems OK now
0.20
03 Feb 2022
John Abbott
Testing
Bug #1443
: Illegal instruction
Closing
0.20
03 Feb 2022
John Abbott
Development
Feature #1373
: GFan also for Microsoft?
Hope on the horizon
0.20
03 Feb 2022
John Abbott
Testing
Bug #946
: Function "ideal" evaluates the argument twice
Status?
0.10
03 Feb 2022
John Abbott
Testing
Design #1504
: OnlineHelp: XMLFileName
Status?
0.10
03 Feb 2022
John Abbott
Documentation
Support #1447
: Manual entry for RandomLinearForm
Status?
0.10
03 Feb 2022
John Abbott
Documentation
Support #1214
: CoCoAManual: ensure that LaTeX compilation is "clean"
Status?
0.10
03 Feb 2022
John Abbott
Documentation
Feature #1272
: Groebner Bases over ZZ
Proposal
0.20
03 Feb 2022
John Abbott
Development
Feature #606
: Evaluate in ring operator (was called :: in CoCoA-4)
Close?
0.10
« Previous
1
2
3
4
5
…
34
Next »
(201-300/3319)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...