Activity
From 01 Nov 2011 to 30 Nov 2011
30 Nov 2011
-
17:42 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 ... -
- 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... -
- Conceptually trickier than char=0 case because we must handle:
* inseparable polys whose derivative is 0 but which a... -
- No obvious new conceptual problems. Efficiency may be an issue. Consider modular approach?
What happens if coeff... -
- A bit tricker than univariate. Seems to need content-free factorization.
-
- We consider only the case of prime characteristic.
Needs more care than char=0 case because:
* p-th power of a po... -
- Conceptually the simplest case.
We might want to investigate a modular approach.
-
- For the case of sqfr factorization of univariate polynomials, it is easy to obtain the coarsest sqfr factorization.
-
- Sqfr factorization in a polynomial ring (with coeffs in a field) is the case we are most interested in.
-
- Squarefree factorization can be effected in any ring where (irreducible) factorization is possible.
The default be... -
- d'Ali` has completed a first impl of Bernardin's algorithm.
Ported to C5 by JAA. Tests taken from Bernardin's paper... -
- Alessio d'Ali` is implementing some stages of the squarefree factorization task, under the supervision of John Abbott...
-
- Managing redmine.
Meeting with d'Ali`; also emails etc.
Writing first draft of CoCoA report on squarefree factoriza... -
- Management and sundry other tasks related to the implementation of squarefree factorization
-
- Implement squarefree factorization (most especially for polynomial rings).
This is just a parent task; it has many... -
- Please clarify what exactly you want the function to do, and what values it accepts as args. For instance is the fol...
-
08:31 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 ...
-
- Comments about matrix constructors: mainly "ring or not ring?"
*IdentityMat(QQ,2)*, *ZeroMat(QQ,2,4)*, *ConcatHor*...
29 Nov 2011
-
- 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...
11 Nov 2011
09 Nov 2011
-
-
- ... and previous versions :-/
-
- For consistency with CoCoA-5
-
- All what is needed to learn Redmine, make it usable, test it ...
08 Nov 2011
-
- Redmine Admin wrote:
> MachineInteger --> MachineInt
> Rename the class in source, tests, examples.
and documentat... -
-
-
- Step 1: all objects files should be created in one directory. This should facilitate makefile dependencies.
Step ... -
- Should it be called *@PPMonoidEvBigInt@*?
(20120530)
Note at the moment the class is called *@PPMonoidBigEv@* and... -
- Should there be just one file NumTheory?
Or NumTheoryBigInt/BigRat?
Or BigIntArith/BigRatArith?
07 Nov 2011
Also available in: Atom