CoCoA » CoCoALib

30 May 2012

18:02 4.50 hours (Support #75 (Closed): Documentation review by Caleo)

Weekly meeting 2012-05-30 John Abbott

17:01 0.20 hour (Bug #22 (Closed): Rename PPMonoidEvZZ?)

Added clarification to original description John Abbott

13:40 0.50 hour (Bug #63 (Closed): Add links to examples in documentation)

cvs'ed and published Anna Maria Bigatti

13:15 2.00 hours (Bug #63 (Closed): Add links to examples in documentation)

most examples are cited in (at least) one doc file Anna Maria Bigatti

29 May 2012

18:45 0.80 hour (Feature #153 (Closed): Shorter simpler names for some bool3 values and functions)

Created a simple example John Abbott

10:07 2.50 hours (Feature #153 (Closed): Shorter simpler names for some bool3 values and functions)

Implemented John Abbott

16:53 0.25 hour (Feature #156 (Closed): Brand new symbol(s))

Modified following the separation of ThreadsafeCounter John Abbott

10:11 0.75 hour (Feature #156 (Closed): Brand new symbol(s))

Implemented the neater design suggested in note 11. John Abbott

16:16 2.00 hours (Feature #157 (Closed): Separate ThreadsafeCounter from symbol.C)

Implemented John Abbott

28 May 2012

19:03 2.00 hours (Bug #63 (Closed): Add links to examples in documentation)

done and cvsed -- probably all done Anna Maria Bigatti

17:10 0.50 hour (Feature #153 (Closed): Shorter simpler names for some bool3 values and functions)

Proposal John Abbott

16:25 0.20 hour (Feature #157 (Closed): Separate ThreadsafeCounter from symbol.C)

How? John Abbott

16:20 0.20 hour (Bug #22 (Closed): Rename PPMonoidEvZZ?)

No very small exp John Abbott

16:13 2.50 hours (Feature #156 (Closed): Brand new symbol(s))

Completed John Abbott

15:54 5.50 hours (Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`)

Test program John Abbott

14:11 0.50 hour (Support #160 (Closed): Cleanup doc for rings)

final discussion Anna Maria Bigatti

11:31 5.00 hours (Feature #167 (Closed): Integer operations)

Implemented John Abbott

25 May 2012

15:15 0.50 hour (Feature #156 (Closed): Brand new symbol(s))

fixed and cleaned doc for anonymous symbol Anna Maria Bigatti

14:41 0.20 hour (Feature #167 (Closed): Integer operations)

Just starting John Abbott

22 May 2012

12:22 0.25 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)

replied to JAA comment on concrete/abstract classes Anna Maria Bigatti

12:06 0.30 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)

Needs 2 separate impls John Abbott

21 May 2012

17:11 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)

Conclusion: Keep FractionField general John Abbott

17:09 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)

Conclusion: Keep FractionField general John Abbott

17:06 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)

Conclusion: Keep FractionField general John Abbott

17:06 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)

Conclusion: Keep FractionField general John Abbott

15:09 0.25 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)

member field myBaseRingIsGCDDomain? Anna Maria Bigatti

14:36 0.50 hour (Feature #165 (Closed): FractionField -- only of TrueGCDDomain?)

Consequences John Abbott

16:00 1.00 hour (Feature #41 (Closed): Squarefree factorization - overhead)

Weekly meeting 2012-05-21 John Abbott

11:50 10.00 hours (Feature #41 (Closed): Squarefree factorization - overhead)

Logging time John Abbott

15:59 4.00 hours (Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`)

First version of report John Abbott

16 May 2012

15:03 1.00 hour (Support #160 (Closed): Cleanup doc for rings)

checked in and posted Anna Maria Bigatti

12:25 0.50 hour (Support #160 (Closed): Cleanup doc for rings)

Final pass Anna Maria Bigatti

12:06 0.50 hour (Support #160 (Closed): Cleanup doc for rings)

Done RingTwinFloat Anna Maria Bigatti

11:18 0.75 hour (Support #160 (Closed): Cleanup doc for rings)

second pass: FractionFiled and QuotientRing Anna Maria Bigatti

10:48 0.50 hour (Support #160 (Closed): Cleanup doc for rings)

Done RingZZ.txt RingQQ.txt Anna Maria Bigatti

10:16 1.75 hour (Support #160 (Closed): Cleanup doc for rings)

designed new template and applied to polynomial rings Anna Maria Bigatti

08:53 1.00 hour (Support #160 (Closed): Cleanup doc for rings)

worked on PolyRing, DenseUPolyRing, QuotienRing Anna Maria Bigatti

07:47 2.00 hours (Support #160 (Closed): Cleanup doc for rings)

more structure for documentation of ring Anna Maria Bigatti

11 May 2012

19:01 0.60 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)

added test in cocoalib: test-GOperations2.C Anna Maria Bigatti

12:36 2.00 hours (Support #75 (Closed): Documentation review by Caleo)

Not clear what a PPMonoid is, or what it's for. John Abbott

10 May 2012

19:42 0.30 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)

added test in cocoa-5 Anna Maria Bigatti

15:44 0.50 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)

Now works John Abbott

18:34 1.00 hour (Bug #135 (Closed): Revise interface to SmallFpImpl & friends)

First changes John Abbott

18:16 0.20 hour (Feature #157 (Closed): Separate ThreadsafeCounter from symbol.C)

Make a BOOST-free version? John Abbott

17:16 0.20 hour (Feature #156 (Closed): Brand new symbol(s))

Remove enum AnonymousMarker John Abbott

16:48 0.10 hour (Feature #156 (Closed): Brand new symbol(s))

Still to do --> Anna? John Abbott

16:38 0.70 hour (Feature #156 (Closed): Brand new symbol(s))

No IsAnonymous fn John Abbott

15:53 1.50 hour (Feature #156 (Closed): Brand new symbol(s))

First impl John Abbott

09 May 2012

17:18 0.50 hour (Feature #156 (Closed): Brand new symbol(s))

Impl idea John Abbott

08 May 2012

09:49 0.50 hour (Feature #156 (Closed): Brand new symbol(s))

An impl suggestion John Abbott

07 May 2012

17:15 0.20 hour (Feature #156 (Closed): Brand new symbol(s))

More proposals for the head John Abbott

17:01 0.10 hour (Feature #156 (Closed): Brand new symbol(s))

Generating several symbols John Abbott

16:58 0.10 hour (Feature #156 (Closed): Brand new symbol(s))

Signatures for new PPMonoid ctors John Abbott

16:54 0.50 hour (Feature #156 (Closed): Brand new symbol(s))

Some first design ideas John Abbott

17:06 0.10 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)

Guilty line John Abbott

15:46 4.00 hours (Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`)

Writing report about Bernardin's article John Abbott

12:47 0.30 hour (Feature #50 (Closed): Polynomial content)

Scale factors John Abbott

11:59 0.10 hour (Feature #69 (Closed): p-th root)

Essentially subsumed by #107 John Abbott

11:57 0.30 hour (Feature #107 (Closed): Recognizing finite fields)

PthPower John Abbott

04 May 2012

21:38 0.70 hour (Feature #153 (Closed): Shorter simpler names for some bool3 values and functions)

Discussion with Anna and Alessandra John Abbott

21:30 0.30 hour (Feature #138 (Closed): Automatic conversion from bool3 to bool?)

Modified Openmath John Abbott

12:36 4.50 hours (Support #75 (Closed): Documentation review by Caleo)

Weekly meeting 2012-05-04 John Abbott

03 May 2012

15:32 0.25 hour (Feature #151 (New): Iterated CanonicalHom)

recollecting memories... Anna Maria Bigatti

15:26 0.10 hour (Feature #150 (In Progress): RingOf rather than owner? (and than AmbientRing, ...))

John Abbott