CoCoA

01 Jun 2012

23:44 CoCoA-5 0.10 hour (Bug #117 (Closed): Added 3 times defn of isblank fn)

An idea John Abbott

23:42 CoCoA-5 0.20 hour (Bug #118 (Closed): unistd and call to access in Main.C)

Still waiting for an answer from Anna John Abbott

23:33 CoCoA-5 0.30 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)

Some ideas John Abbott

23:18 CoCoA-5 0.20 hour (Bug #171 (New): Negate LIST, MAT,...)

I agree John Abbott

17:59 CoCoA-5 61.95 hours (Bug #27 (Closed): CoCoA-5 Manual)

closing the issue related with Fascio's work counting all extra work by her + me + John Anna Maria Bigatti

17:51 CoCoA-5 2.00 hours (Bug #159 (Closed): Multiplicity sometimes wrong)

mostly decided and working. need some tests and documentation Anna Maria Bigatti

17:37 CoCoA-5 1.00 hour (Feature #172 (Closed): add customization for --fullCoCoALibError in EmacsUI)

done (always a problem using lisp...) Anna Maria Bigatti

31 May 2012

18:58 CoCoA-5 0.50 hour (Bug #159 (Closed): Multiplicity sometimes wrong)

added related bug Anna Maria Bigatti

17:39 CoCoALib 1.30 hour (Feature #167 (Closed): Integer operations)

written documentation Anna Maria Bigatti

30 May 2012

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

Weekly meeting 2012-05-30 John Abbott

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

Added clarification to original description John Abbott

16:40 CoCoA-5 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Impl completed and documented John Abbott

16:14 CoCoA-5 0.25 hour (Bug #163 (Closed): RealRootsApprox bombs)

No further problems John Abbott

16:08 CoCoA-5 0.25 hour (Feature #7 (Resolved): Automatic mapping between (some) rings)

Other types to which the idea may be applicable John Abbott

13:09 CoCoA-5 3.00 hours (Feature #7 (Resolved): Automatic mapping between (some) rings)

certainly we ahve already spent more time discussing about it Anna Maria Bigatti

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

cvs'ed and published Anna Maria Bigatti

13:15 CoCoALib 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 CoCoALib 0.80 hour (Feature #153 (Closed): Shorter simpler names for some bool3 values and functions)

Created a simple example John Abbott

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

Implemented John Abbott

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

Modified following the separation of ThreadsafeCounter John Abbott

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

Implemented the neater design suggested in note 11. John Abbott

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

Implemented John Abbott

28 May 2012

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

done and cvsed -- probably all done Anna Maria Bigatti

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

Proposal John Abbott

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

How? John Abbott

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

No very small exp John Abbott

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

Completed John Abbott

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

Test program John Abbott

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

final discussion Anna Maria Bigatti

12:43 CoCoA-5 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Forgot the C5 documentation; also logging testing & check-in times. John Abbott

11:57 CoCoA-5 3.50 hours (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Implemented John Abbott

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

Implemented John Abbott

25 May 2012

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

fixed and cleaned doc for anonymous symbol Anna Maria Bigatti

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

Just starting John Abbott

14:17 CoCoA-5 0.80 hour (Feature #131 (Closed): Conversion from bool to INT)

Implemented John Abbott

11:41 CoCoA-5 0.50 hour (Feature #131 (Closed): Conversion from bool to INT)

KISS John Abbott

24 May 2012

19:10 CoCoA-5 0.25 hour (Bug #137 (Closed): JAA does not like the name IndetInd)

last check Anna Maria Bigatti

18:57 CoCoA-5 0.65 hour (Bug #137 (Closed): JAA does not like the name IndetInd)

fixed and cleaned doc for symbol Anna Maria Bigatti

18:26 CoCoA-5 0.50 hour (Bug #137 (Closed): JAA does not like the name IndetInd)

CVS checked in Anna Maria Bigatti

12:49 CoCoA-5 1.50 hour (Bug #137 (Closed): JAA does not like the name IndetInd)

changed name in all files and tests Anna Maria Bigatti

22 May 2012

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

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

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

Needs 2 separate impls John Abbott

21 May 2012

17:27 CoCoA-5 0.25 hour (Bug #137 (Closed): JAA does not like the name IndetInd)

Anna liked "subscript" John Abbott

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

Conclusion: Keep FractionField general John Abbott

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

Conclusion: Keep FractionField general John Abbott

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

Conclusion: Keep FractionField general John Abbott

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

Conclusion: Keep FractionField general John Abbott

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

member field myBaseRingIsGCDDomain? Anna Maria Bigatti

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

Consequences John Abbott

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

Weekly meeting 2012-05-21 John Abbott

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

Logging time John Abbott

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

First version of report John Abbott

15:54 CoCoA-5 0.25 hour (Feature #131 (Closed): Conversion from bool to INT)

suggested name Bool01 Anna Maria Bigatti

11:48 CoCoA-5 0.40 hour (Feature #131 (Closed): Conversion from bool to INT)

Not automatic John Abbott

20 May 2012

13:28 CoCoA-5 0.60 hour (Bug #163 (Closed): RealRootsApprox bombs)

Seems OK now John Abbott

12:41 CoCoA-5 0.50 hour (Bug #163 (Closed): RealRootsApprox bombs)

Added new C5 test specially for RealRoot John Abbott

11:30 CoCoA-5 0.40 hour (Bug #163 (Closed): RealRootsApprox bombs)

FStar should be F John Abbott

17 May 2012

21:41 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Choosing names John Abbott

18:32 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Final decision? Anna Maria Bigatti

18:12 CoCoA-5 0.25 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Still looking for a good name John Abbott

17:33 CoCoA-5 0.25 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Proposed names for IsGCDDomain Anna Maria Bigatti

18:41 CoCoA-5 1.00 hour (Bug #162 (Closed): RegularityIndex <= 0)

considering all cases and testing current code in cocoa-4 and 5 Anna Maria Bigatti

16 May 2012

18:20 CoCoA-5 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Origin of myGcdInField John Abbott

17:49 CoCoA-5 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Discussion with Anna about name of IsGCDDomain John Abbott

15:36 CoCoA-5 0.10 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Obvious, but I'll make it explicit John Abbott

15:31 CoCoA-5 0.10 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

An example failed too John Abbott

15:01 CoCoA-5 0.40 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

What if GCD in a field gave error? John Abbott

15:05 CoCoA-5 0.10 hour (Bug #158 (Closed): May AsRAT produce an INT?)

checked in CoCoAHelp Anna Maria Bigatti

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

checked in and posted Anna Maria Bigatti

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

Final pass Anna Maria Bigatti

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

Done RingTwinFloat Anna Maria Bigatti

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

second pass: FractionFiled and QuotientRing Anna Maria Bigatti

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

Done RingZZ.txt RingQQ.txt Anna Maria Bigatti

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

designed new template and applied to polynomial rings Anna Maria Bigatti

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

worked on PolyRing, DenseUPolyRing, QuotienRing Anna Maria Bigatti

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

more structure for documentation of ring Anna Maria Bigatti

15 May 2012

22:51 CoCoA-5 0.50 hour (Bug #159 (Closed): Multiplicity sometimes wrong)

found silly bug Anna Maria Bigatti

22:39 CoCoA-5 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Added man for AsINT AsRAT Anna Maria Bigatti

22:10 CoCoA-5 0.10 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Where's the man page? John Abbott

21:13 CoCoA-5 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Checked in John Abbott

17:41 CoCoA-5 0.50 hour (Bug #158 (Closed): May AsRAT produce an INT?)

searching calls and usage Anna Maria Bigatti

15:16 CoCoA-5 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Made & tested prototype John Abbott

15:04 CoCoA-5 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Some more examples John Abbott

14:56 CoCoA-5 0.20 hour (Bug #158 (Closed): May AsRAT produce an INT?)

AsRAT is defined in a package John Abbott

14:51 CoCoA-5 0.25 hour (Bug #158 (Closed): May AsRAT produce an INT?)

Should give a RAT John Abbott

16:52 CoCoA-5 0.50 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

gcd for BigRat: cocoa/cocoalib Anna Maria Bigatti

16:17 CoCoA-5 0.60 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

fixed documentation, checked other functions Anna Maria Bigatti

15:32 CoCoA-5 1.00 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

written code for converting general list into vector<BigInt> Anna Maria Bigatti

14 May 2012

15:03 CoCoA-5 0.30 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Reading homogeneous lists John Abbott

14:06 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Separate name for int GCD is a *bad* idea John Abbott

12:23 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Reading homogeneous lists John Abbott

12:14 CoCoA-5 0.20 hour (Bug #110 (Closed): Surprise return type for GCD of a list of ints)

Sme students encountered the same problem John Abbott

11 May 2012

19:01 CoCoALib 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 CoCoALib 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 CoCoALib 0.30 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)

added test in cocoa-5 Anna Maria Bigatti

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

Now works John Abbott

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

First changes John Abbott

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

Make a BOOST-free version? John Abbott

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

Remove enum AnonymousMarker John Abbott

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

Still to do --> Anna? John Abbott

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

No IsAnonymous fn John Abbott

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

First impl John Abbott

09 May 2012

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

Impl idea John Abbott

08 May 2012

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

An impl suggestion John Abbott

07 May 2012

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

More proposals for the head John Abbott

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

Generating several symbols John Abbott

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

Signatures for new PPMonoid ctors John Abbott

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

Some first design ideas John Abbott

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

Guilty line John Abbott

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

Writing report about Bernardin's article John Abbott

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

Scale factors John Abbott

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

Essentially subsumed by #107 John Abbott

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

PthPower John Abbott

04 May 2012

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

Discussion with Anna and Alessandra John Abbott

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

Modified Openmath John Abbott

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

Weekly meeting 2012-05-04 John Abbott

03 May 2012

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

recollecting memories... Anna Maria Bigatti

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

John Abbott