Activity
From 17 Jun 2012 to 16 Jul 2012
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...
13 Jul 2012
- 15:59 CoCoA-5 Bug #166 (Closed): Dim/Multiplicity with Lex ordering -- NYI
- Closed: see related issue
- 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 ...
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...
- 15:24 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
- ... work in progress ...
- 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... - 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...
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_... - 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... - 09:40 CoCoALib Feature #206 (In Progress): Matrix equation solving: LinKer
- find all solutions M*x = 0
- 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...
- 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...
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... - 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...
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._ ...
- 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... - 14:40 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- (Added myFieldNamesStrings in Interpreter.[CH] for Record)...
- 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:...
- 09:10 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Now available in BuiltinFunctions.C an "empty" function ...
- 11:14 CoCoALib Feature #203: Function to get the Hilbert Polynomial ring from GlobalManager
- Currently it is available calling the function...
- 10:44 CoCoA-5 Support #179 (In Progress): TeX documentation for CoCoA-5
- 10:42 CoCoA-5 Bug #192 (In Progress): indent prints strings without quotes
- 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
- 10:41 CoCoA-5 Support #187 (In Progress): CoCoA-5 (partial) releases: make the process simpler
- 10:40 CoCoALib Feature #30 (Closed): SwapRows, Cols
- 10:11 CoCoALib Bug #85 (Closed): QuotientRing problem
- Now it works. I can't remember fixing it and how, but obviously someone did...
- 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
- 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*
04 Jul 2012
- 18:33 CoCoALib Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
- another proposal...
- 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...
- 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... - 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... - 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 ... - 10:03 CoCoA-5 Feature #185 (Closed): Banner for CoCoA-5
- 09:50 CoCoA-5 Bug #98 (Closed): RealRoots should use IsRational
- No further problems have surfaced, so closing the issue.
- 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
- 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.
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....
29 Jun 2012
- 18:53 CoCoA-5 Feature #200 (Closed): add modules and module operations
- We have modules in CoCoALib.
Just mimick ideals to add modules..... will it be that easy?
Probably we'll have som... - 17:17 CoCoALib Bug #199 (Closed): CFApprox: division by zero
- I forgot to close the issue and to count CVS time etc.
- 16:49 CoCoALib Bug #199: CFApprox: division by zero
- The bug was a consequence of when I changed the definition of integer division (from round towards -infinity to round...
- 14:48 CoCoALib Bug #199 (Closed): CFApprox: division by zero
- ...
- 11:09 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- Problem for the GUI release:
even though it works reasonably well, there is a bug related to the fact that (by defau... - 10:03 CoCoA-5 Support #198 (New): Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI
- Per chiarirci le idee prima di spargere la voce...
*relatore Informatica*: Giovanni Lagorio? Paola Magillo?
*ge...
28 Jun 2012
- 19:27 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- added to script generation of pre-release for cocoa-5.0.3 for Mac emacs
(and made pre-release)
26 Jun 2012
- 15:09 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio has:
* continued with the report
* reorganized the tests so that they are largely automatic
He will chec... - 12:56 CoCoA-5 Feature #185: Banner for CoCoA-5
- John Abbott wrote:
> Will we use the banner in the GUI?
I think it is nice to have something looking like "I'm re... - 08:14 CoCoA-5 Feature #185: Banner for CoCoA-5
- I placed the definition of the banner in the files *Banner.[CH]*.
I do not like adding a separate file for such a sm... - 11:24 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- I have the first "complete" version of *cocoa5-cvs-snapshot*.
* It assumes the cvs copy in my "0.99/snapshot" directo... - 08:05 CoCoA-5 Bug #197: ./C5.bin: fork: Resource temporarily unavailable
- I've found this bug (among the other "surprise" and rare occurrences) is caused by *make; make;* which seemed to occ...
- 07:54 CoCoA-5 Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable
- Sometimes we get this mysterious message when starting the GUI....
25 Jun 2012
- 12:38 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- I've created on my computer a "snapshot" directory for the "current cvs snapshot" where I should compile (and also ge...
22 Jun 2012
- 17:30 CoCoA-5 Bug #192: indent prints strings without quotes
- Another problem...
- 12:47 CoCoALib Bug #196 (New): PPWithMask needs checking
- which functions give guarantees and which don't?
better be more clear and consistent.
Check also if PPMonoidFast ca... - 12:47 CoCoALib Support #75: Documentation review by Caleo
- Alessandra reports:
* doc for *@PPWithMask@* needs major improvement (and also the impl)
* *@ex-PPWithMask2.C@* nee... - 12:03 CoCoALib Support #195 (Closed): OrdvArith documentation needs rewriting
- Alessandra Caleo noticed that OrdvArith seems to be quite messy: includes parts about PPOrdering and is not clear why...
21 Jun 2012
- 16:24 CoCoA-5 Slug #191: Slow lex gbasis
- John Abbott wrote:
> No idea why it was so slow before :-(
I had a similar problem to what you described yesteray... - 16:14 CoCoA-5 Feature #19: How to get the version number of CoCoA-5?
- I think this latest proposal is a good start. It contains the most useful information, and the names of the fields a...
- 15:14 CoCoA-5 Feature #19: How to get the version number of CoCoA-5?
- ...
- 14:08 CoCoA-5 Feature #19: How to get the version number of CoCoA-5?
- I suggest removing the @CoCoA@ prefix from the compilation date, the compiler name, and the compilation options.
I... - 10:55 CoCoA-5 Feature #19: How to get the version number of CoCoA-5?
- see above
- 15:17 CoCoA-5 Bug #194 (Closed): Unhandled CoCoALib error: mixed rings with IsIn operator (for ideal membership)
- I changed the relevant lines (near 2910) in @Interpreter.C@:...
- 15:13 CoCoA-5 Bug #194 (Closed): Unhandled CoCoALib error: mixed rings with IsIn operator (for ideal membership)
- CoCoALib produces a "mixed rings" error in the following example; CoCoA-5 does not intercept the error at the level o...
- 12:39 CoCoA-5 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
> I think we have to make two variables *@vector<NameFunPair> builtIns;@*
You can probably keep a single variabl...- 12:26 CoCoA-5 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
- One proposal for splitting is
- file A: general macros and templates
- file B: all oneliners (the easy ones) with... - 11:21 CoCoA-5 Feature #193 (Closed): BuiltinFunctions.C getting too long (2000 lines)
- Can we split BuiltinFunctions.C so that it is easier to update and faster to compile?
20 Jun 2012
- 16:20 CoCoA-5 Slug #191 (Closed): Slow lex gbasis
- I did @make veryclean@; sync with CVS, and @make@.
Now mine takes about a minute too... very odd!
No idea why it ... - 09:32 CoCoA-5 Slug #191 (In Progress): Slow lex gbasis
- John Abbott wrote:
> The following example comes from an exercise I gave during _Algebra Computazionale_
> [...]
>... - 14:21 CoCoA-5 Bug #192 (Closed): indent prints strings without quotes
- Compare these...
- 14:11 CoCoA-5 Feature #19: How to get the version number of CoCoA-5?
- How to get the (string) values out of *BuildInfo.C* ?
At the moment there is... - 10:52 CoCoALib Bug #190: Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
- JAA sees two mutually exclusive ways of solving the problem:
# fix the ref counting so that it always works correctly...
19 Jun 2012
- 18:22 CoCoA-5 Slug #191 (Closed): Slow lex gbasis
- The following example comes from an exercise I gave during _Algebra Computazionale_...
- 17:10 CoCoA-5 Feature #19 (Feedback): How to get the version number of CoCoA-5?
- added VersionInfo.
fixed documentation.
This could also return the other info in BuildInfo (such as compilation f... - 17:07 CoCoA-5 Feature #184 (Closed): MAT/INT ? MAT/RINGELEM ?
- I have added "division by a scalar" for matrices and lists; not added anything to the documentation, nor any example/...
- 15:03 CoCoA-5 Feature #184: MAT/INT ? MAT/RINGELEM ?
- Claudia reports that @Matlab@ allows the user to write @M/2@ to mean @(1/2)*M@. JAA finds this reassuring because it...
- 17:04 CoCoALib Feature #174: IsStdGraded: add for PPOrdering, PPMonoid, (Sparse)PolyRing..
- John Abbott wrote:
> Should modules also have an @IsStdGraded@?
> *Note* we have already used the abbrev @std@ for ... - 16:55 CoCoA-5 Feature #185 (Feedback): Banner for CoCoA-5
- The function is called *PrintCoCoA5Banner*.
I'm checking it all in.
If by default it is printed badly in teh GUI we... - 16:44 CoCoA-5 Bug #189 (Closed): malloc ERROR
- The cause of the problem is a design bug in CoCoALib (see issue #190).
As a consequence I shall close this issue.
... - 14:33 CoCoA-5 Bug #189 (In Progress): malloc ERROR
- If you add...
- 14:06 CoCoA-5 Bug #189: malloc ERROR
- @Valgrind@ even complains about the following two lines!!...
- 13:47 CoCoA-5 Bug #189: malloc ERROR
- According to *@valgrind@* the following input is enough to do damage:...
- 12:51 CoCoA-5 Bug #189: malloc ERROR
- I finally reduced the example: (quite a lot reduced ;-)
it seems due to having both a redefinition of the PolyRing a... - 11:04 CoCoA-5 Bug #189: malloc ERROR
- The problem appears to be a *@RingHomValue@* in the interpreter which has a reference to a CoCoALib *@RingHom@* which...
- 09:46 CoCoA-5 Bug #189: malloc ERROR
- Laura's code works fine on my Linux VM.
However, *@Valgrind@* confirms that there is a memory access problem (seems ... - 16:38 CoCoALib Bug #190 (Closed): Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
- The function below looks perfectly reasonable, but it creates a *dangling reference*...
18 Jun 2012
- 17:18 CoCoA-5 Feature #188: CoCoAManual: entries for operators
- John Abbott wrote:
> How would a student find out what @><@ means in CoCoA?
> How to have manual pages for operator... - 16:11 CoCoALib Feature #157: Separate ThreadsafeCounter from symbol.C
- Yes, in its current form it requires BOOST.
I can add some *@#ifdef@* directive to make it compile without BOOST (an... - 11:31 CoCoALib Feature #157: Separate ThreadsafeCounter from symbol.C
- Does this mean that users are now forced to have boost, or we can have a non-threadsafe version without boost?
- 15:10 CoCoA-5 Bug #189: malloc ERROR
- Recompiled with MemPool debugging and linking with @debug_new.o@
The problem disappears... this may be enough to let... - 14:32 CoCoA-5 Bug #189 (Closed): malloc ERROR
- I get the following error...
- 10:58 CoCoA-5 Feature #19: How to get the version number of CoCoA-5?
- John Abbott wrote:
> @Anna: could you explain your preference for two separate functions rather than a single functi...
Also available in: Atom