Project

General

Profile

Activity

From 03 Jul 2012 to 01 Aug 2012

01 Aug 2012

17:17 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
previous message lost because redmine logged me out :( here again, but shorter
Value::from() is a big help! Now I ...
Christof Soeger
15:09 CoCoA-5 Bug #207 (Closed): BuiltIn Normaliz functions not available in C5 gui
Works fine now, thanks for fixing! Christof Soeger
13:50 Feature #214 (Closed): gmp header location assumption in configure script
In the new Ubuntu 12.04 (at least in 64-bit version) the relation between the gmp library and header is not as assume... Christof Soeger

31 Jul 2012

17:12 CoCoALib Feature #213 (Closed): test-Normaliz1.C
for Christof: could you design a simple test with known output for Normaliz in src/test/test-Normaliz1.C?
The old te...
Anna Maria Bigatti
16:53 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
Instructions:
The first time create a cvs "snapshot" directory:...
Anna Maria Bigatti
16:36 CoCoALib Feature #211: NBM: add SparsePolyRing as argument for ordering
Eva and her colleagues will test the code over the next few days. If no problems arise, I'll close the issue. John Abbott
16:30 CoCoALib Feature #211: NBM: add SparsePolyRing as argument for ordering
Hacked Laura's code. It seems to work on some simple tests.
Code needs tidying, but that's low priority...
John Abbott
15:24 CoCoALib Feature #211 (Closed): NBM: add SparsePolyRing as argument for ordering
Anna Maria Bigatti
16:19 CoCoALib Feature #209: ReadExpr: input polynomials in CoCoALib
Here are some sample inputs (which we can use for testing):
* @- 1@ the same as @-1@
* @(-1)@ this is an expression,...
John Abbott
15:39 CoCoALib Feature #209: ReadExpr: input polynomials in CoCoALib
In the previous note I suggest that _erroneous but syntactically correct_ input is easy to handle. The case of _synt... John Abbott
15:09 CoCoALib Feature #209: ReadExpr: input polynomials in CoCoALib
The case of incorrect input which is syntactically correct seems to be easy:
* the input string is converted success...
John Abbott
14:42 CoCoALib Feature #209: ReadExpr: input polynomials in CoCoALib
We must decide how to handle white space inside RingElem inputs.
As a rule-of-thumb we should accept as input (at ...
John Abbott
16:14 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
Waiting for feedback... does it work now? Anna Maria Bigatti
16:07 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
I've found an easier way to make a RecordValue (why didn't I think of it before?):
instead of making a new field usi...
Anna Maria Bigatti
15:26 CoCoA-5 Feature #212 (Closed): NBM: add to CoCoA-5
Some experiments on the Groebner Fan are to be done by Riccomagno et al.
Make it available in CoCoA-5 (first exper...
Anna Maria Bigatti
09:40 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
Next meeting will be in September; exact day still to be decided.
John Abbott

30 Jul 2012

15:35 CoCoALib Feature #209: ReadExpr: input polynomials in CoCoALib
JAA thinks polynomial input should accept expressions built from integer constants, symbols (with integer constant in... John Abbott

25 Jul 2012

14:45 CoCoALib Feature #210: Normaliz: "double" cone for speed and safety
Merged with code by C.Soeger for *NormalizComputation* (initialization from @map@, call from cocoa-5)
Anna Maria Bigatti
14:36 CoCoALib Feature #210 (Closed): Normaliz: "double" cone for speed and safety
normaliz comutations using @long@ might fail and using @mpz@ will take 10 times as long.
The cone implementation i...
Anna Maria Bigatti

24 Jul 2012

17:17 CoCoALib Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib
It would be nice if one could read polynomials from an input stream the way we write them, for example as... Anna Maria Bigatti

19 Jul 2012

19:06 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
fixed and cvs-ed Anna Maria Bigatti
17:18 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
I get an linker error because some libnormaliz functions cannot find some gmp functions. To correct this the libnorma... Christof Soeger

17 Jul 2012

15:00 CoCoA-5 Bug #207 (Feedback): BuiltIn Normaliz functions not available in C5 gui
Anna Maria Bigatti
14:37 CoCoA-5 Slug #31 (In Progress): theValue makes copy
open until we make experiments with C++11 Anna Maria Bigatti

16 Jul 2012

12:50 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
Now "configure" exports to *configuration/autoconf.mk* <lib>_FLAG (e.g. NORMALIZ_FLAG = -DCoCoA-with-Normaliz) and <l... Anna Maria Bigatti

13 Jul 2012

15:59 CoCoA-5 Bug #166 (Closed): Dim/Multiplicity with Lex ordering -- NYI
Closed: see related issue Anna Maria Bigatti
14:22 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
Now a cone is created from the input. The conversion of the input type string is forwarded to libnormaliz, currently ... Christof Soeger

11 Jul 2012

15:49 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
Alessio has added some paragraphs about primitivization, including examples to show that Bernardin's algorithm does n... John Abbott
15:24 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
... work in progress ...
Anna Maria Bigatti
11:56 CoCoA-5 Support #208 (Closed): describe $package
*Functions("$binrepr");* from CoCoA-4 doesn't work and has been replaced by
*describe ("$binrepr");* (as the error m...
Anna Maria Bigatti
11:14 CoCoA-5 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
Now there are dedicated files *BuiltInFunctions-GSL* and *BuiltInFunctions-Normaliz* for these two external libraries... Anna Maria Bigatti

10 Jul 2012

15:10 CoCoALib Feature #206: Matrix equation solving: LinKer
Added *LinKer* to CoCoA-5 and test.
Added test for CoCoAlib (added into ex-matrix3, written for _brother function_...
Anna Maria Bigatti
10:17 CoCoALib Feature #206: Matrix equation solving: LinKer
Written *LinKerByGauss* for matrices with entries in a field.
The code uses *RankAndGauss(M, ncols)* which compute...
Anna Maria Bigatti
09:40 CoCoALib Feature #206 (In Progress): Matrix equation solving: LinKer
find all solutions M*x = 0 Anna Maria Bigatti
12:27 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
hmmmm, I guess that the GUI compilation does not see/set the compilation flags for external libraries from *configura... Anna Maria Bigatti
12:22 CoCoA-5 Bug #207 (Closed): BuiltIn Normaliz functions not available in C5 gui
It works with the CoCoAInterpreter, but not in the gui.
@# NormalizComputation(Cone, ["HilbertBasis", "HilbertPol...
Christof Soeger

06 Jul 2012

18:19 CoCoA-5 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
Fixed.
(Even on a Mac) Emacs distinguishes cases. Just to make sure I suggest to check-out BuiltinOneLiners.C first...
Anna Maria Bigatti
16:46 CoCoA-5 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
During linking BuiltInOneLiners.o cannot be found.
I could have somethink to do with the name of the .C file, it has...
Christof Soeger

05 Jul 2012

17:59 CoCoALib Bug #149: Makefile dependencies
another possibility would be to check in (and distribute) @Makefile_dependencies@ without external libraries (_i.e._ ... Anna Maria Bigatti
16:35 CoCoA-5 Feature #193 (In Progress): BuiltinFunctions.C getting too long (2000 lines)
split into 4 files:
- *BuiltInFunctions.[CH]*
- *BuiltInOneLiners.[CH]*
next step: split out functions from external...
Anna Maria Bigatti
14:40 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
(Added myFieldNamesStrings in Interpreter.[CH] for Record)... Anna Maria Bigatti
11:43 CoCoA-5 Feature #204 (In Progress): NmzComputation: the powerful NormalizComputation function in CoCoA-5
Now the empty function reads and uses the input record as well:... Anna Maria Bigatti
09:10 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
Now available in BuiltinFunctions.C an "empty" function ... Anna Maria Bigatti
11:14 CoCoALib Feature #203: Function to get the Hilbert Polynomial ring from GlobalManager
Currently it is available calling the function... Anna Maria Bigatti
10:44 CoCoA-5 Support #179 (In Progress): TeX documentation for CoCoA-5
Anna Maria Bigatti
10:42 CoCoA-5 Bug #192 (In Progress): indent prints strings without quotes
Anna Maria Bigatti
09:31 CoCoA-5 Bug #192: indent prints strings without quotes
Write a function called *InputForm* (as in Mathematica) for printing strings with quotes and escaped characters Anna Maria Bigatti
10:41 CoCoA-5 Support #187 (In Progress): CoCoA-5 (partial) releases: make the process simpler
Anna Maria Bigatti
10:40 CoCoALib Feature #30 (Closed): SwapRows, Cols
Anna Maria Bigatti
10:11 CoCoALib Bug #85 (Closed): QuotientRing problem
Now it works. I can't remember fixing it and how, but obviously someone did... Anna Maria Bigatti
10:01 CoCoA-5 Feature #19: How to get the version number of CoCoA-5?
This function should also return included external libraries and possibly their version Anna Maria Bigatti
09:49 CoCoALib Support #205 (New): Example for change of coordinates with coeffs in a matrix
Add to *ex-RingHom3* an example for a change like *x --> A*x* Anna Maria Bigatti

04 Jul 2012

18:33 CoCoALib Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
another proposal... Anna Maria Bigatti
10:17 CoCoALib Feature #202 (Closed): MatrixView/function for viewing a single row or column (RowMat, ColMat)
We should make a special view for a row or column since the C++/STL for calling *submat* is so bad (vector containing... Anna Maria Bigatti
14:44 CoCoA-5 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
Should we also separate builtin function from external libs? (I think so)
if so, should we have
*BuiltinFunctionsNo...
Anna Maria Bigatti
14:25 CoCoA-5 Feature #204 (Closed): NmzComputation: the powerful NormalizComputation function in CoCoA-5
Proposal for most powerful/flexible function to access *Normaliz* capabilities
(specific functions like *NormalizHil...
Anna Maria Bigatti
11:20 CoCoALib Feature #203 (Closed): Function to get the Hilbert Polynomial ring from GlobalManager
The function *MakeGlobalHPPowerList(const DenseUPolyRing& P)* in GlobalManager.C creates a list of polynomials.
Its ...
Anna Maria Bigatti
10:03 CoCoA-5 Feature #185 (Closed): Banner for CoCoA-5
Anna Maria Bigatti
09:50 CoCoA-5 Bug #98 (Closed): RealRoots should use IsRational
No further problems have surfaced, so closing the issue.
John Abbott
09:44 CoCoA-5 Bug #201 (Closed): segmentation fault with function defined in package ("PrintHGIndices"): First and Last
Also *First([])* and *Last([])* were buggy: fixed
Anna Maria Bigatti
09:14 CoCoA-5 Bug #201 (Resolved): segmentation fault with function defined in package ("PrintHGIndices"): First and Last
The problem is in the function *First(L,N)* when N is larger than the length of L.
Fixed.
Anna Maria Bigatti

03 Jul 2012

14:56 CoCoA-5 Bug #201 (Closed): segmentation fault with function defined in package ("PrintHGIndices"): First and Last
Whatever the user error is, CoCoA should never crash. Investigate.... Anna Maria Bigatti
 

Also available in: Atom