Activity
From 02 Jan 2014 to 31 Jan 2014
31 Jan 2014
- 20:32 CoCoALib Feature #222: Printing polynomials - spaces between terms
- This issue has been sitting idle for a year. We should decide, and then implement!
*Addendum:* JAA thinks that a le... - 20:29 CoCoALib Design #432 (In Progress): Semantics of IsPrintedWithMinus
- We should clarify what the semantics of @IsPrintedWithMinus@ are.
I suggest that if @IsPrintedWithMinus(x)@ gives ... - 20:25 CoCoALib Design #429 (In Progress): factorization: public data fields, or mem fns allowing the fields to be updated.
- John and Anna talked about Christof's proposal, and both believe it is a good idea! :-)
John will look at existing... - 20:17 CoCoALib Bug #413 (Feedback): OrdvArith: use of a single buffer is NOT THREADSAFE
- @Christof, I have unclosed the issue because Anna proposed to redo your long computation using impl *(B)*, just to co...
- 19:47 CoCoALib Feature #431 (Resolved): NewPolyRing_DMPI has no constructor with a predefined PPM
- Wow I wrote something that actually works?? :-)
Bonus extra 10% for this issue :-)
Now I'll have to write a test,... - 11:16 CoCoALib Feature #431 (In Progress): NewPolyRing_DMPI has no constructor with a predefined PPM
- John implemented it. Works for me.
30 Jan 2014
- 18:59 CoCoALib Bug #413 (Closed): OrdvArith: use of a single buffer is NOT THREADSAFE
- Several test were successful. I consider it as done.
- 18:57 Bug #238 (Feedback): Cleaner CVS?
- 11:04 Bug #238: Cleaner CVS?
- It looks much cleaner now.
I'm not sure how the .cvsignore works but maybe you want to add the Makefile_dependencies... - 17:18 CoCoALib Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- Anna pointed out that is already a fn *@ClearDenom@* which does almost what is wanted: it multiplies the polynomial b...
- 17:02 CoCoALib Feature #209 (Feedback): ReadExpr: input polynomials in CoCoALib
- Official part of CoCoALib now.
Even with example in
example/ex-PolyInput2.C
(still missing: documentation)
- 14:10 CoCoALib Feature #209 (Resolved): ReadExpr: input polynomials in CoCoALib
- Example program is done and working fully:
reads any kind expression with + - * / ^ ()
They key was John Abbott's... - 16:36 CoCoALib Feature #431 (Closed): NewPolyRing_DMPI has no constructor with a predefined PPM
- We would like to do ...
- 16:30 CoCoALib Feature #407: RingElem ctor from mpz_t (from Bruns)
- To summarize, there are now the following constructors:...
- 14:01 CoCoALib Feature #430: Use -fopenmp flag when compiling CoCoALib with libnormaliz
- For me it now works fine. With and without libnormaliz.
- 10:38 CoCoALib Feature #430: Use -fopenmp flag when compiling CoCoALib with libnormaliz
- without --with-libnormaliz it still tries to check and get
nm: '': No such file - 09:39 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5
- Just an idea... it might be nice if the matrix created contained only non-negative entries (_e.g._ it is easy to have...
29 Jan 2014
- 19:50 CoCoALib Design #254 (Resolved): How to return a Hilbert Series in CoCoALib
- Now all essentially set.
One thing to decide: factorization of denom is now arbitrary:
Normaliz uses a compact form... - 19:17 CoCoA-5 Feature #270: Distribution for linux
- I suggest generalizing this issue to simplifying the _make a distribution_ process on any platform. There should be ...
- 17:51 Bug #238: Cleaner CVS?
- JAA has removed all @Makefile_dependencies@ from CVS.
- 16:41 Bug #238: Cleaner CVS?
- In the CoCoA5 dir also @C5Makefile@ is created (together with C5.pro) and depend on @autoconf.mk@.
So I suggest to re... - 17:48 CoCoALib Feature #218 (In Progress): CoCoALib normaliz interface
- added HilbertSeries and multiplicity functions
- 16:47 CoCoALib Feature #430 (Feedback): Use -fopenmp flag when compiling CoCoALib with libnormaliz
- Resolved the outstanding problem -- the flag had to passed correctly to @qmake@.
JAA has fixed the @make-c5makefile.... - 16:08 CoCoALib Feature #430 (In Progress): Use -fopenmp flag when compiling CoCoALib with libnormaliz
- JAA has written a new script, and added a suitable call to @configure@.
Christof confirms that it works for him, exc... - 15:38 CoCoALib Feature #430 (Closed): Use -fopenmp flag when compiling CoCoALib with libnormaliz
- Right now libnormaliz can be included to CoCoALib only without using OpenMP. We did it this way to have an easier sta...
- 14:48 CoCoALib Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- Regarding the conversion @QQ[x]@ to @ZZ[x]@ clearing denominators, JAA thinks the following is a reasonable approach:...
- 13:55 CoCoALib Feature #407 (Feedback): RingElem ctor from mpz_t (from Bruns)
- After discussing with Anna and Christof...
* We *reject the idea of using a "marker"* because it is cumbersome, also... - 12:27 CoCoALib Bug #149: Makefile dependencies
- JAA believes the correct approach is to have separate dependencies for *internal* dependencies and for *external* dep...
- 11:59 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- And it also works with gradings:...
28 Jan 2014
- 18:18 CoCoALib Design #429 (Closed): factorization: public data fields, or mem fns allowing the fields to be updated.
- Christof was surprised to see that the data fields in a @factorization@ are publicly modifiable. He suggested having...
- 18:04 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib
- Anna Maria Bigatti wrote:
> Constructors:
> (RingElem num, factorization<RingElem> DenFactors) -- general
> (vecto... - 18:04 CoCoALib Bug #413 (Feedback): OrdvArith: use of a single buffer is NOT THREADSAFE
- Somewhat unexpectedly Christof's tests shows that approach *(C)* is as fast as approach *(B)* but it is also simpler ...
- 18:00 CoCoALib Bug #428 (Feedback): PPMonoidOv is not threadsafe
- Christof's tests have all gone well.
The change was simple (but a bit tedious/ugly).
I've even checked-in the code ... - 12:12 CoCoALib Bug #428: PPMonoidOv is not threadsafe
- JAA has modified the code to use local buffers if @CoCoA_THREADSAFE_HACK@ has a positive value.
*15:00* Christof say... - 12:09 CoCoALib Bug #428 (Closed): PPMonoidOv is not threadsafe
- @PPMonoidOv@ uses a "global" buffer much as @OrdvArith@ did.
This is not threadsafe -- Christof has observed crashes... - 17:55 CoCoALib Support #195 (Feedback): OrdvArith documentation needs rewriting
- The doc should now be essentially complete.
Also greatly improved doc for @PPOrdering@.
- 15:06 CoCoALib Support #195: OrdvArith documentation needs rewriting
- A first version of the doc has been written! It even includes comments about thread-safety!
- 17:48 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Since the HilbertSeries is now availabe in CoCoALib, I also added it to NmzComputation. Example:...
- 14:59 CoCoALib Support #234 (Feedback): Update/Improve geobucket documentation
- 14:48 CoCoALib Feature #233 (Feedback): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
- Final decision is for ConvertTo<BigInt> and ConvertTo<BigRat>
- 14:45 Support #425 (In Progress): Osnabrueck 2014-01
- 14:40 CoCoA-5 Bug #418 (Feedback): What does interreduce do?
- All done
- 13:59 CoCoALib Design #427: Error names and error messages (current design)
- Many errors now are called *Not...* (e.g. *NotNonZero*) but that's ambiguous/confusing.
Suggestion: rename them *Need... - 10:39 CoCoALib Design #427 (In Progress): Error names and error messages (current design)
- As a sub-issue of re-designing errors here we note the suggested names.
- 12:13 CoCoALib Feature #248 (Feedback): IsDivisible for RingElem with nice interface
- All done (I think)
27 Jan 2014
- 16:11 CoCoALib Feature #426 (Closed): ConvertTo with optional arg to give more helpful error message
- The *@ConvertTo@* fn is used extensively in the interface between the C5 interpreter and the CoCoALin fns which actua...
- 15:26 Support #425: Osnabrueck 2014-01
- Bruns mentioned sometime ago (1 year?) that CoCoALib-0.9951 was about 20% faster than a later version.
*20140127:* C... - 14:49 Support #425 (Closed): Osnabrueck 2014-01
- Here's what we hope to do during the week here.
- 14:36 CoCoA-5 Feature #367: implement LF/DF for an ideal
- LF(ideal) done.
(cvs tomorrow)
- 13:53 CoCoA-5 Feature #367 (In Progress): implement LF/DF for an ideal
- code for LF of a polynomial implemented in october 2012
- 12:13 CoCoALib Feature #209 (In Progress): ReadExpr: input polynomials in CoCoALib
- Anna, Christof & John propose the following for an initial impl:
* input polys are terminated by newline
* the whole ...
25 Jan 2014
- 22:10 CoCoALib Bug #413 (In Progress): OrdvArith: use of a single buffer is NOT THREADSAFE
- We should discuss this in Osnabrueck next week.
*(A)* the solution using local buffers in every fn that needs one is...
24 Jan 2014
- 20:47 CoCoA-5 Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5
- In issue #313 I have posted an impl of @ElimOrdMat@ which creates a matrix for elimination orderings. This fn lets o...
- 20:40 CoCoALib Feature #313: Elim(vector<long>) as PPOrderingCtor
- Anna told me she has an impl (of exactly what I don't recall).
Let's make it available -- I'd like it to be availabl... - 20:30 CoCoA-5 Bug #418 (Resolved): What does interreduce do?
- It would be good to get this issue closed ASAP; it is not especially urgent, but I'd like it fixed before the Alg Com...
- 13:54 CoCoA-5 Design #424: Emacs UI: Name of emacs init file
- If we were to use *@.emacs.d/@* then we could put *@cocoa.el@* there; this could make installation easier?
I doubt... - 12:16 CoCoA-5 Design #424: Emacs UI: Name of emacs init file
- Anna is unconvinced by the idea of forcing the user to accept a whole directory. Perhaps we could use the alternativ...
- 11:51 CoCoA-5 Bug #423 (Feedback): Emacs UI: semicolon does not work in emacs-24.3
- Using lastest CVS, a quick test passed fine on my machine --> changing state to "feedback".
23 Jan 2014
- 13:47 CoCoA-5 Bug #423: Emacs UI: semicolon does not work in emacs-24.3
- Solved (luckily easier than I feared).
Replaced @last-command-char@ with @last-command-event@
tested on emacs 22,... - 11:39 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal
- Will it be possible to have this fixed by Easter? (_i.e._ before I need it for the Alg Comp course)
22 Jan 2014
- 17:26 CoCoA-5 Design #424 (In Progress): Emacs UI: Name of emacs init file
- The current distribution for M$ already includes a *@.emacs.d@* directory, so it is certainly possible to create one,...
- 16:37 CoCoA-5 Design #424: Emacs UI: Name of emacs init file
- John Abbott wrote:
> Starting emacs-24.3 with the current (M$) distribution produced a warning about the file name *... - 16:29 CoCoA-5 Design #424 (In Progress): Emacs UI: Name of emacs init file
- Starting emacs-24.3 with the current (M$) distribution produced a warning about the file name *@_emacs@* being obsole...
- 16:23 CoCoA-5 Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3
- The current @cocoa5@ emacs code does not work well in emacs 24.3.
Try creating a new @file.cocoa5@ and type into it:... - 16:13 CoCoA-5 Feature #381: Emacs User Interface: Easier binding for sending a line to cocoa-5
- I think it works fine (but then I probably don't use @cua-mode@).
It works also with emacs-24.3.
Any chance of clos... - 16:09 CoCoA-5 Feature #352: Should SourceRegion echo the "region"?
- I have been using @SourceRegion@ for several months now, and definitely appreciate the fact that it does not fill my ...
21 Jan 2014
- 18:11 CoCoA-5 Bug #279: Bug in Radical (actually a RingHom problem)
- Here's an old(?) failing case; posting here so that we have a test suite....
16 Jan 2014
- 16:57 CoCoALib Feature #209: ReadExpr: input polynomials in CoCoALib
- Would it make sense to discuss this when we go to Osnabrueck? (in 10 days' time)
*Note: remember this KISS philosophy!* - 16:38 CoCoA-5 Support #179: TeX documentation for CoCoA-5
- > * I had wanted to write 2^31 in the description of a fn, but this caused LaTeX to fail with an error (about missing...
- 16:31 CoCoA-5 Support #179: TeX documentation for CoCoA-5
- I've just built the CoCoA-5 LaTeX-PDF documentation; there are several minor problems.
* JAA thinks the fn names in ...
07 Jan 2014
- 16:09 CoCoA-5 Bug #422: Bug or feature for protected name? (Use command)
- Damn!!! Emacs is failing to read my entire archive of emails about CoCoALib/CoCoA-5
- 12:49 CoCoA-5 Feature #421: Allow user to give a name to a ring (in C5)
- I remember an old discussion about this topic.
There is this problem (which was not possibible in CoCoA-4)...
06 Jan 2014
- 00:42 CoCoA-5 Bug #422: Bug or feature for protected name? (Use command)
- There was an email discussion 2010-11-22 & 2010-11-23.
Perhaps add a summary *here*??
It is peculiar that... - 00:35 CoCoA-5 Bug #422 (New): Bug or feature for protected name? (Use command)
- From email of 2010-11-19
Is this the behaviour we want?... - 00:26 CoCoA-5 Feature #421 (New): Allow user to give a name to a ring (in C5)
- In C4 the command @R ::= QQ[x,y];@ automatically gave the name @R@ to the created ring.
There was a _trick_ to cater... - 00:20 CoCoALib Feature #420: Allow user to give a name to a ring
- From emails exchanged on 2010-11-05...
Anna notes that short printed names are helpful when printing out resolutio... - 00:14 CoCoALib Feature #420 (New): Allow user to give a name to a ring
- In C4 rings had names (single upper case letter, or of the form @R#n@ for integer @n@)
In C5 they do not have name... - 12:43 CoCoA-5 Feature #419: FloatStr
- While we're looking at the C++ version of @FloatStr@ (which works via @MantExp@), try profiling on some larger values...
- 12:37 CoCoA-5 Feature #419 (Closed): FloatStr
- @FloatStr@ still uses interpreted C5 code; change it to use the C++ version (which is usefully faster for large numbe...
Also available in: Atom