Activity
From 08 Nov 2011 to 07 Dec 2011
07 Dec 2011
-
17:06 Bug #60 (Closed): MSVC10 - shared_ptr
- Apparently Visual Studio has its own shared_ptr (in view of C++11?), so it complains about calls of boost::shared_ptr...
-
- It would be nice to be able to generate (automatically!) a list of all functions in CoCoALib and the file where they ...
-
- Other easier tasks for portability to Visual Studio.
-
- With Visual Studio there are problems with BOOST_SCOPE_EXIT and this alternative is proposed (thanks to Bruno Simoes)...
-
- Is unistd.h only for "unix-like" systems?
There are problems with Visual Studio and other includes are needed instead. -
- In many .C files we have
const int MantExp::ourDefaultSigFig; // pointless but necessary
but Visual Studio c... -
- In many files it complains for missing
#include <iterator>
is that right? -
- Changes for compilation with Visual Studio (MS Windows)
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.
... -
- 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
-
-
-
14:07 CoCoALib Bug #36: Saturation
- Use QQ[x,y];
I:=ideal (x);
J:=ideal(x,y);
Saturation(I,J);
01 Dec 2011
-
- When copying and pasting into the interactive windows *sometimes* all newlines after a "--" comment are ignored. Two...
30 Nov 2011
-
- 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...
-
- Se prepari un file con CoCoA-5, lo salvi, quitti CoCoA-5
e imponi al file di aprirsi (open with) con CoCoA-5, quand... -
- 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... -
23 Nov 2011
-
- Add an optional warning which points out (apparently) incorrect arity.
The warning needs to be optional since it may...
22 Nov 2011
-
- Some functions and commands are now obsolete ("Delete", "Call", ...).
The related entry (with searchable "<key>") sh... -
- CoCoAInterpreter -w3 (the "pedantic" warning level) is very "noisy" during start up!
15 Nov 2011
-
- It would be better to have
Elim(t, I)
as well as
Elim([t], I) -
- John Abbott wrote:
> The *Call* function is used when running the C4 tests. Not sure how easy it will be to rewrite... -
- in Interpreter.H...
11 Nov 2011
-
10 Nov 2011
-
- 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
-
-
- ... and previous versions :-/
-
- For consistency with CoCoA-5
-
- CoCoA-4 help file *CoCoAHelp.xml* needs to be updated to CoCoA-5.
The work is done by Elisa Fascio with the supervis... -
- All what is needed to learn Redmine, make it usable, test it ...
-
- Anna's suggestion could be made more workable if the ring/dimensions were printed in a comment after the matrix value...
-
- 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
-
- JAA thinks that a good design approach would be to produce a function which takes as args two rings, and returns a *R...
-
- JAA opposes the proposal because he thinks that it is no longer needed now that we have functions as first class obje...
-
- In CoCoA-5 there was a function +called+ +"Call"+
(apply a function to given arguments)
+called+ like this ;-)
<... -
- Which tag should be used when matrices are printed?
# *Mat* is backward compatible with C4
# *matrix* is better align... -
- It seems that both AMB and JAA are leaning towards the idea of not printing out the ring when printing a matrix. JAA...
-
- 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?
Also available in: Atom