Activity
From 07 Nov 2011 to 06 Dec 2011
06 Dec 2011
- 14:14 CoCoALib Feature #41: Squarefree factorization - overhead
- Weekly meeting with D'Ali`.
His impl of Bernardin's method is largely complete, and seems to work fine in tests.
... - 12:49 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- D'Ali` has almost finished refinement and testing of his impl of Bernardin's algm.
He will check the details about th...
05 Dec 2011
- 18:27 CoCoALib Bug #36 (Closed): Saturation
- 17:42 CoCoALib Bug #36 (Resolved): Saturation
- 14:07 CoCoALib Bug #36: Saturation
- Use QQ[x,y];
I:=ideal (x);
J:=ideal(x,y);
Saturation(I,J);
01 Dec 2011
- 18:37 CoCoA-5 Bug #52 (Closed): GUI: problem with "--" comment
- When copying and pasting into the interactive windows *sometimes* all newlines after a "--" comment are ignored. Two...
30 Nov 2011
- 17:42 CoCoALib Feature #51 (Closed): polynomial coefficient extraction w.r.t. variable
- Given a multivariate polynomial and an indet X (or set of indets?)
Produce a list(?) of "coeffs" w.r.t. X; probably ... - 17:38 CoCoALib Feature #50 (Closed): Polynomial content
- New function(s) to compute content of a poly w.r.t. a given indet.
In which ring does the result lie?
* if poly i... - 17:34 CoCoALib Feature #49 (Closed): Squarefree factorization - multivariate polynomials, char p > 0
- Conceptually trickier than char=0 case because we must handle:
* inseparable polys whose derivative is 0 but which a... - 17:31 CoCoALib Feature #48 (Closed): Squarefree factorization - multivariate polynomials, char 0
- No obvious new conceptual problems. Efficiency may be an issue. Consider modular approach?
What happens if coeff... - 17:28 CoCoALib Feature #47 (Closed): Squarefree factorization - multivariate polynomials
- A bit tricker than univariate. Seems to need content-free factorization.
- 17:26 CoCoALib Feature #46 (Closed): Squarefree factorization - univariate polynomials, char p > 0
- We consider only the case of prime characteristic.
Needs more care than char=0 case because:
* p-th power of a po... - 17:22 CoCoALib Feature #45 (Closed): Squarefree factorization - univariate polynomials, char 0
- Conceptually the simplest case.
We might want to investigate a modular approach.
- 17:20 CoCoALib Feature #44 (Closed): Squarefree factorization - univariate polynomials
- For the case of sqfr factorization of univariate polynomials, it is easy to obtain the coarsest sqfr factorization.
- 17:18 CoCoALib Feature #43 (Closed): Squarefree factorization - for polynomials
- Sqfr factorization in a polynomial ring (with coeffs in a field) is the case we are most interested in.
- 17:16 CoCoALib Feature #42 (Closed): Squarefree factorization - generic case
- Squarefree factorization can be effected in any ring where (irreducible) factorization is possible.
The default be... - 16:56 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- d'Ali` has completed a first impl of Bernardin's algorithm.
Ported to C5 by JAA. Tests taken from Bernardin's paper... - 16:17 CoCoALib Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`
- Alessio d'Ali` is implementing some stages of the squarefree factorization task, under the supervision of John Abbott...
- 16:21 CoCoALib Feature #41: Squarefree factorization - overhead
- Managing redmine.
Meeting with d'Ali`; also emails etc.
Writing first draft of CoCoA report on squarefree factoriza... - 16:19 CoCoALib Feature #41 (Closed): Squarefree factorization - overhead
- Management and sundry other tasks related to the implementation of squarefree factorization
- 16:04 CoCoALib Feature #39 (Closed): Squarefree factorization
- Implement squarefree factorization (most especially for polynomial rings).
This is just a parent task; it has many... - 16:00 CoCoALib Feature #17: implement "binomial" (coefficient) for RingElem
- Please clarify what exactly you want the function to do, and what values it accepts as args. For instance is the fol...
- 09:39 CoCoA-5 Bug #38 (New): GUI: open file "with C5"
- Se prepari un file con CoCoA-5, lo salvi, quitti CoCoA-5
e imponi al file di aprirsi (open with) con CoCoA-5, quand... - 08:31 CoCoALib Feature #37: matrix constructors
- JAA: C4 has a function for creating an identity matrix. It also has a means of creating a zero matrix (of specified ...
- 08:25 CoCoALib Feature #37 (Closed): matrix constructors
- Comments about matrix constructors: mainly "ring or not ring?"
*IdentityMat(QQ,2)*, *ZeroMat(QQ,2,4)*, *ConcatHor*...
29 Nov 2011
- 16:39 CoCoALib Bug #36 (Closed): Saturation
- Use QQ[x,y];
I:=Ideal(x,y-1);
J:=Ideal(x,y-2);
Saturation(I,J);
ideal(1)
La risposta giusta è Ideal(x,y-1) oss... - 16:09 CoCoA-5 Bug #33 (Closed): Modify the packages so that -w3 produces no warnings during start-up
23 Nov 2011
- 12:10 CoCoA-5 Feature #35 (Rejected): Optional warnings for fn-proc arity
- Add an optional warning which points out (apparently) incorrect arity.
The warning needs to be optional since it may...
22 Nov 2011
- 14:07 CoCoA-5 Bug #34 (Closed): CoCoAManual: obsolete entries in the manual
- Some functions and commands are now obsolete ("Delete", "Call", ...).
The related entry (with searchable "<key>") sh... - 13:54 CoCoA-5 Bug #33 (Closed): Modify the packages so that -w3 produces no warnings during start-up
- CoCoAInterpreter -w3 (the "pedantic" warning level) is very "noisy" during start up!
15 Nov 2011
- 13:52 CoCoA-5 Bug #32 (Closed): Elim(t, I)
- It would be better to have
Elim(t, I)
as well as
Elim([t], I) - 12:50 CoCoA-5 Feature #25: Function "Call"
- John Abbott wrote:
> The *Call* function is used when running the C4 tests. Not sure how easy it will be to rewrite... - 11:21 CoCoA-5 Slug #31 (In Progress): theValue makes copy
- in Interpreter.H...
11 Nov 2011
- 08:54 CoCoALib Feature #30 (Closed): SwapRows, Cols
10 Nov 2011
- 17:10 CoCoA-5 Feature #25: Function "Call"
- The *Call* function is used when running the C4 tests. Not sure how easy it will be to rewrite the code which runs t...
09 Nov 2011
- 17:40 CoCoALib Bug #1 (Closed): MachineInteger --> MachineInt
- 15:22 CoCoALib Support #29 (Closed): CoCoA website: update web page for CoCoALib-0.9950
- ... and previous versions :-/
- 15:13 CoCoALib Feature #28 (Closed): rename RingQ, RingZ --> RingQQ, RingZZ
- For consistency with CoCoA-5
- 12:12 CoCoA-5 Bug #27 (Closed): CoCoA-5 Manual
- CoCoA-4 help file *CoCoAHelp.xml* needs to be updated to CoCoA-5.
The work is done by Elisa Fascio with the supervis... - 12:04 CoCoALib Support #26 (In Progress): Redmine Administration
- All what is needed to learn Redmine, make it usable, test it ...
- 11:45 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- Anna's suggestion could be made more workable if the ring/dimensions were printed in a comment after the matrix value...
- 11:36 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- Given that JAA and AMB are both largely convinced that it is best to print out just the matrix elements, AMB made a v...
08 Nov 2011
- 16:41 CoCoA-5 Feature #7: Automatic mapping between (some) rings
- JAA thinks that a good design approach would be to produce a function which takes as args two rings, and returns a *R...
- 15:51 CoCoA-5 Feature #25: Function "Call"
- JAA opposes the proposal because he thinks that it is no longer needed now that we have functions as first class obje...
- 15:36 CoCoA-5 Feature #25 (Closed): Function "Call"
- In CoCoA-5 there was a function +called+ +"Call"+
(apply a function to given arguments)
+called+ like this ;-)
<... - 12:38 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- Which tag should be used when matrices are printed?
# *Mat* is backward compatible with C4
# *matrix* is better align... - 12:34 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- It seems that both AMB and JAA are leaning towards the idea of not printing out the ring when printing a matrix. JAA...
- 12:30 CoCoALib Bug #1: MachineInteger --> MachineInt
- Redmine Admin wrote:
> MachineInteger --> MachineInt
> Rename the class in source, tests, examples.
and documentat... - 10:30 CoCoALib Feature #24 (In Progress): object files collected in one directory
- 10:30 CoCoALib Feature #24 (Resolved): object files collected in one directory
- 10:11 CoCoALib Feature #24 (Rejected): object files collected in one directory
- Step 1: all objects files should be created in one directory. This should facilitate makefile dependencies.
Step ... - 09:18 CoCoALib Bug #22 (Closed): Rename PPMonoidEvZZ?
- Should it be called *@PPMonoidEvBigInt@*?
(20120530)
Note at the moment the class is called *@PPMonoidBigEv@* and... - 08:56 CoCoALib Bug #21 (Closed): Rename NumTheory and NumTheoryQQ
- Should there be just one file NumTheory?
Or NumTheoryBigInt/BigRat?
Or BigIntArith/BigRatArith?
07 Nov 2011
- 18:26 CoCoALib Bug #1 (In Progress): MachineInteger --> MachineInt
- 16:04 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- There are three components to consider when printing out a matrix:
# the ring containing the entries
# the dimensions... - 14:57 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- Anna omitted to mention explicitly that it is deemed desirable that the printed form of a matrix should also be valid...
- 14:49 CoCoA-5 Feature #18 (In Progress): Printing matrices: I/O unified style for CoCoA-5?
- There is a (mild?)problem with Anna's first suggestion:...
Also available in: Atom