Activity
From 10 Apr 2012 to 09 May 2012
09 May 2012
- 17:18 CoCoALib 0.50 hour (Feature #156 (Closed): Brand new symbol(s))
- Impl idea
08 May 2012
- 09:49 CoCoALib 0.50 hour (Feature #156 (Closed): Brand new symbol(s))
- An impl suggestion
07 May 2012
- 17:15 CoCoALib 0.20 hour (Feature #156 (Closed): Brand new symbol(s))
- More proposals for the head
- 17:01 CoCoALib 0.10 hour (Feature #156 (Closed): Brand new symbol(s))
- Generating several symbols
- 16:58 CoCoALib 0.10 hour (Feature #156 (Closed): Brand new symbol(s))
- Signatures for new PPMonoid ctors
- 16:54 CoCoALib 0.50 hour (Feature #156 (Closed): Brand new symbol(s))
- Some first design ideas
- 17:06 CoCoALib 0.10 hour (Bug #155 (Closed): gcd: multivariate over non-prime finite field)
- Guilty line
- 15:46 CoCoALib 4.00 hours (Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`)
- Writing report about Bernardin's article
- 12:47 CoCoALib 0.30 hour (Feature #50 (Closed): Polynomial content)
- Scale factors
- 11:59 CoCoALib 0.10 hour (Feature #69 (Closed): p-th root)
- Essentially subsumed by #107
- 11:57 CoCoALib 0.30 hour (Feature #107 (Closed): Recognizing finite fields)
- PthPower
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
- 21:30 CoCoALib 0.30 hour (Feature #138 (Closed): Automatic conversion from bool3 to bool?)
- Modified Openmath
- 12:36 CoCoALib 4.50 hours (Support #75 (Closed): Documentation review by Caleo)
- Weekly meeting 2012-05-04
03 May 2012
- 15:32 CoCoALib 0.25 hour (Feature #151 (New): Iterated CanonicalHom)
- recollecting memories...
- 15:26 CoCoALib 0.10 hour (Feature #150 (In Progress): RingOf rather than owner? (and than AmbientRing, ...))
30 Apr 2012
- 17:58 CoCoALib 0.20 hour (Feature #142 (In Progress): Improve threadsafety)
- When to destroy rings?
- 17:44 0.20 hour (Bug #141 (Closed): Memory leak using Elim in C5)
- My fault (sort of)
27 Apr 2012
- 16:29 CoCoALib 1.00 hour (Feature #125 (In Progress): Matrix equation solving; linear system solving)
- Changed name, added docs & example
- 15:06 CoCoALib 1.00 hour (Feature #125 (In Progress): Matrix equation solving; linear system solving)
- Choosing names
- 15:00 CoCoALib 1.00 hour (Feature #50 (Closed): Polynomial content)
- 14:54 CoCoALib 1.00 hour (Bug #63 (Closed): Add links to examples in documentation)
- a little bit at a time
- 12:49 CoCoALib 5.00 hours (Support #75 (Closed): Documentation review by Caleo)
- Weekly meeting 2012-04-27
- 11:42 CoCoALib 5.50 hours (Support #75 (Closed): Documentation review by Caleo)
- Work & meeting about: ring doc (RingHom, RingFloat, PolyRing, SparsePolyRing)
- 12:11 CoCoALib 0.50 hour (Feature #138 (Closed): Automatic conversion from bool3 to bool?)
- discussion
- 10:50 CoCoALib 0.20 hour (Bug #135 (Closed): Revise interface to SmallFpImpl & friends)
- Confirmed need for major redesign
26 Apr 2012
- 16:18 CoCoALib 1.00 hour (Feature #51 (Closed): polynomial coefficient extraction w.r.t. variable)
- Summary of verbal discussion
24 Apr 2012
- 16:08 CoCoALib 0.80 hour (Feature #107 (Closed): Recognizing finite fields)
- Added C5 doc
- 14:58 CoCoALib 1.00 hour (Feature #107 (Closed): Recognizing finite fields)
- Algm for testing maximality
- 15:35 CoCoA-5 0.10 hour (Bug #137 (Closed): JAA does not like the name IndetInd)
- Return record fields in IndetSymbols
- 14:52 CoCoALib 0.20 hour (Feature #51 (Closed): polynomial coefficient extraction w.r.t. variable)
- Also for module elems
- 11:33 CoCoALib 0.50 hour (Feature #51 (Closed): polynomial coefficient extraction w.r.t. variable)
- Coeffs wrt to a given PP basis
- 11:17 CoCoALib 0.50 hour (Slug #129 (New): Better GCD)
- Leaks less memory now
23 Apr 2012
- 16:55 CoCoA-5 0.20 hour (Feature #133 (New): Qt GUI: Make better distinction between input and output in the output window)
- Blank lines is a recent problem
- 16:49 CoCoALib 0.10 hour (Feature #107 (Closed): Recognizing finite fields)
- No documentation
- 16:46 CoCoALib 2.00 hours (Feature #107 (Closed): Recognizing finite fields)
- Available in CoCoA-5
20 Apr 2012
- 12:19 CoCoALib 0.20 hour (Feature #125 (In Progress): Matrix equation solving; linear system solving)
- What name?
- 11:56 CoCoALib 0.20 hour (Feature #107 (Closed): Recognizing finite fields)
- Nasty name CardExp
18 Apr 2012
- 22:22 CoCoALib 4.00 hours (Feature #107 (Closed): Recognizing finite fields)
- First impl
- 22:10 CoCoA-5 0.10 hour (Bug #38 (New): GUI: open file "with C5")
- Not just us
- 22:01 CoCoA-5 0.50 hour (Bug #94 (Closed): Default reason for protected variables)
- A modified preference
- 17:04 CoCoA-5 0.20 hour (Bug #94 (Closed): Default reason for protected variables)
- Further suggestion
- 16:52 CoCoA-5 0.30 hour (Bug #102 (Closed): Packages: should exported functions be automatically "Protect"ed?)
- Agreement
- 16:31 CoCoA-5 0.80 hour (Bug #103 (Closed): Bad error mesg using operator ":")
- Fixed
- 15:58 CoCoA-5 0.20 hour (Feature #131 (Closed): Conversion from bool to INT)
- Similar to Iverson bracket
- 15:46 CoCoA-5 0.30 hour (Feature #131 (Closed): Conversion from bool to INT)
- Further thoughts
- 14:56 CoCoA-5 0.30 hour (Bug #100 (New): BringIn should map only the indets in its arg)
- KISS
17 Apr 2012
- 21:21 CoCoA-5 0.20 hour (Bug #118 (Closed): unistd and call to access in Main.C)
- Waiting for Anna
16 Apr 2012
- 15:50 CoCoALib 7.00 hours (Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`)
- Timings
- 10:50 CoCoALib 0.10 hour (Feature #125 (In Progress): Matrix equation solving; linear system solving)
- Solving using a specific method
- 10:45 CoCoALib 0.30 hour (Feature #125 (In Progress): Matrix equation solving; linear system solving)
- Fn names?
15 Apr 2012
- 21:59 CoCoALib 4.00 hours (Slug #129 (New): Better GCD)
- First" prototype"
- 21:31 CoCoA-5 5.00 hours (Bug #52 (Closed): GUI: problem with "--" comment)
- Hacked C5.C and LineProvider.C
13 Apr 2012
- 18:29 CoCoALib 0.50 hour (Feature #125 (In Progress): Matrix equation solving; linear system solving)
- Added doc
- 14:30 CoCoALib 8.00 hours (Feature #125 (In Progress): Matrix equation solving; linear system solving)
- First impl of generic case
10 Apr 2012
- 21:10 CoCoA-5 8.00 hours (Bug #118 (Closed): unistd and call to access in Main.C)
- Switched to using BOOST fns
Also available in: Atom