Activity
From 15 Jan 2014 to 13 Feb 2014
13 Feb 2014
-
12:02 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- Christof could you make some further tests after modifying slightly the OpenMP version of the @OrdvArith@ code I sent...
12 Feb 2014
-
16:30 CoCoALib Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- My non-authorative solution is...
-
12:07 CoCoA-5 Feature #352: Should SourceRegion echo the "region"?
- John Abbott wrote:
> I can see what the students of the upcoming Computer Algebra course say about "send region" not ... -
- I can see what the students of the upcoming Computer Algebra course say about "send region" not copying the region se...
-
- The emacs key sequence @C-c C-e@ should automatically insert the correct @End...@ keyword to close a syntactical cons...
11 Feb 2014
-
- Make the code prefer "binary rationals" as much as possible; exploit this fact when evaluating the polynomial. In an...
-
- Port the @RealRoots@ code to C++ so that it is accessible to CoCoALib users!
I hope that a well-written port might...
10 Feb 2014
-
- I wonder if a friendly industrial designer would be able to help. :-)
09 Feb 2014
-
- I am sorry for having raised a non-issue.
Regarding NumTerms: is it a data field of the polynomial or is it compu... -
- Winfried Bruns wrote:
> I think it is a question that needs careful testing before any changes should be done. As ob... -
- I think it is a question that needs careful testing before any changes should be done. As observed by John and mentio...
-
- In @SparsePolyRing.C -- myMul@ there is this code...
08 Feb 2014
-
- [20140208] Tony reported that he found the website quite difficult to navigate, and felt it did not explain clearly p...
-
- [from an email sent to Bruns] I do recall that there are complications for inserting the terms in the correct order; ...
-
- Bruns asks whether @f*g@ and @g*f@ take the same time or whether one way round is better than the other. He mentions...
-
- Computation speed in C5 often degrades over time; I think this may be due to loss of data locality in the RAM. In an...
-
-
- This function seems to be optimal.
What is the authorative function for the converse transformation ZZ[X] --> QQ[X] ?
07 Feb 2014
-
- It should be possible to make @EvalUPoly@ faster for binary rationals (_i.e._ whose denom is a power of 2)
-
- The interpreter should check whether LHS is protected *before* trying to evaluate RHS (because evaluation RHS might b...
-
- I'd like to resolve & close this issue in the near future!
06 Feb 2014
-
- I created a 3Mbyte file with short lines (100 copies of the code in @radical.cpkg@). There was some slow down, but q...
-
- The problems of serious slow down occur only when the cursor is towards the end of the file -- response is normal whe...
-
- Emacs has become very slow as I edit a large (3Mbyte) @file.cocoa5@.
The file contains several quite long lines (u... -
- My idea to use @SourceRegion@ has a (minor?) technical problem: it implies that the buffer be saved to the associated...
05 Feb 2014
-
- Sending a long line to CoCoA-5 inside Emacs does not work: CoCoA gets stuck and simply prints out lots of ^G. I beli...
-
- Could you also define some other key sequences? For instance,
C-c RET
C-c C-RET
The advantage of defining both ...
04 Feb 2014
-
19:42 CoCoALib Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- On our compute server with 20 threads the performance was about 5% better with the OpenMP adaptation for some medium ...
03 Feb 2014
-
- I notice in @SparsePolyRing.C:551@ that there is a check via @IsPrintAtom@. The documentation says _true iff arg doe...
-
- In note 6 I unwittingly overlooked some (important?) points: for instance I did not consider compound coefficients in...
-
- CVS
time nmzIntegrate -E CondEffPlurSymm-100
nmzIntegrate -E CondEffPlurSymm-100 218,09s user 0,69s system 385% cpu... -
- OK, I'll try to rewrite it -- maybe even this afternoon while invigilating!
-
- I did some tests and the timings were exactly the same. So I checked again. I only have a version which still include...
-
- Yes, I still have it and will give it a try.
-
- Anna rightly asked how should TwinFloats be handled.
Right now, I'm undecided. I'm quite sure that any polynomial... -
- If we follow the suggestion in note 6 of issue #222 then we need to define @IsPrintedWithMinus@ only for numerical ri...
01 Feb 2014
-
- I would prefer a symmetric appearance, either no space around the + sign or a blank on bothsides.
But it is a mat...
31 Jan 2014
-
- This issue has been sitting idle for a year. We should decide, and then implement!
*Addendum:* JAA thinks that a le... -
- We should clarify what the semantics of @IsPrintedWithMinus@ are.
I suggest that if @IsPrintedWithMinus(x)@ gives ... -
- John and Anna talked about Christof's proposal, and both believe it is a good idea! :-)
John will look at existing... -
- @Christof, I have unclosed the issue because Anna proposed to redo your long computation using impl *(B)*, just to co...
-
- Wow I wrote something that actually works?? :-)
Bonus extra 10% for this issue :-)
Now I'll have to write a test,... -
- John implemented it. Works for me.
30 Jan 2014
-
- Several test were successful. I consider it as done.
-
-
- It looks much cleaner now.
I'm not sure how the .cvsignore works but maybe you want to add the Makefile_dependencies... -
- Anna pointed out that is already a fn *@ClearDenom@* which does almost what is wanted: it multiplies the polynomial b...
-
- Official part of CoCoALib now.
Even with example in
example/ex-PolyInput2.C
(still missing: documentation)
-
- Example program is done and working fully:
reads any kind expression with + - * / ^ ()
They key was John Abbott's... -
- We would like to do ...
-
- To summarize, there are now the following constructors:...
-
- For me it now works fine. With and without libnormaliz.
-
- without --with-libnormaliz it still tries to check and get
nm: '': No such file -
- 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
-
- Now all essentially set.
One thing to decide: factorization of denom is now arbitrary:
Normaliz uses a compact form... -
- I suggest generalizing this issue to simplifying the _make a distribution_ process on any platform. There should be ...
-
- JAA has removed all @Makefile_dependencies@ from CVS.
-
- In the CoCoA5 dir also @C5Makefile@ is created (together with C5.pro) and depend on @autoconf.mk@.
So I suggest to re... -
- added HilbertSeries and multiplicity functions
-
- Resolved the outstanding problem -- the flag had to passed correctly to @qmake@.
JAA has fixed the @make-c5makefile.... -
- JAA has written a new script, and added a suitable call to @configure@.
Christof confirms that it works for him, exc... -
- Right now libnormaliz can be included to CoCoALib only without using OpenMP. We did it this way to have an easier sta...
-
- Regarding the conversion @QQ[x]@ to @ZZ[x]@ clearing denominators, JAA thinks the following is a reasonable approach:...
-
- After discussing with Anna and Christof...
* We *reject the idea of using a "marker"* because it is cumbersome, also... -
- JAA believes the correct approach is to have separate dependencies for *internal* dependencies and for *external* dep...
-
- And it also works with gradings:...
28 Jan 2014
-
- Christof was surprised to see that the data fields in a @factorization@ are publicly modifiable. He suggested having...
-
- Anna Maria Bigatti wrote:
> Constructors:
> (RingElem num, factorization<RingElem> DenFactors) -- general
> (vecto... -
- Somewhat unexpectedly Christof's tests shows that approach *(C)* is as fast as approach *(B)* but it is also simpler ...
-
- Christof's tests have all gone well.
The change was simple (but a bit tedious/ugly).
I've even checked-in the code ... -
- JAA has modified the code to use local buffers if @CoCoA_THREADSAFE_HACK@ has a positive value.
*15:00* Christof say... -
- @PPMonoidOv@ uses a "global" buffer much as @OrdvArith@ did.
This is not threadsafe -- Christof has observed crashes... -
- The doc should now be essentially complete.
Also greatly improved doc for @PPOrdering@.
-
- A first version of the doc has been written! It even includes comments about thread-safety!
-
- Since the HilbertSeries is now availabe in CoCoALib, I also added it to NmzComputation. Example:...
-
-
- Final decision is for ConvertTo<BigInt> and ConvertTo<BigRat>
-
-
- All done
-
- Many errors now are called *Not...* (e.g. *NotNonZero*) but that's ambiguous/confusing.
Suggestion: rename them *Need... -
- As a sub-issue of re-designing errors here we note the suggested names.
-
- All done (I think)
27 Jan 2014
-
- The *@ConvertTo@* fn is used extensively in the interface between the C5 interpreter and the CoCoALin fns which actua...
-
- Bruns mentioned sometime ago (1 year?) that CoCoALib-0.9951 was about 20% faster than a later version.
*20140127:* C... -
- Here's what we hope to do during the week here.
-
- LF(ideal) done.
(cvs tomorrow)
-
- code for LF of a polynomial implemented in october 2012
-
- Anna, Christof & John propose the following for an initial impl:
* input polys are terminated by newline
* the whole ...
25 Jan 2014
-
- We should discuss this in Osnabrueck next week.
*(A)* the solution using local buffers in every fn that needs one is...
24 Jan 2014
-
- In issue #313 I have posted an impl of @ElimOrdMat@ which creates a matrix for elimination orderings. This fn lets o...
-
- 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... -
- 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...
-
- If we were to use *@.emacs.d/@* then we could put *@cocoa.el@* there; this could make installation easier?
I doubt... -
- Anna is unconvinced by the idea of forcing the user to accept a whole directory. Perhaps we could use the alternativ...
-
- Using lastest CVS, a quick test passed fine on my machine --> changing state to "feedback".
23 Jan 2014
-
- Solved (luckily easier than I feared).
Replaced @last-command-char@ with @last-command-event@
tested on emacs 22,... -
- Will it be possible to have this fixed by Easter? (_i.e._ before I need it for the Alg Comp course)
22 Jan 2014
-
- The current distribution for M$ already includes a *@.emacs.d@* directory, so it is certainly possible to create one,...
-
- John Abbott wrote:
> Starting emacs-24.3 with the current (M$) distribution produced a warning about the file name *... -
- Starting emacs-24.3 with the current (M$) distribution produced a warning about the file name *@_emacs@* being obsole...
-
- The current @cocoa5@ emacs code does not work well in emacs 24.3.
Try creating a new @file.cocoa5@ and type into it:... -
- 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... -
- I have been using @SourceRegion@ for several months now, and definitely appreciate the fact that it does not fill my ...
21 Jan 2014
-
- Here's an old(?) failing case; posting here so that we have a test suite....
16 Jan 2014
-
- Would it make sense to discuss this when we go to Osnabrueck? (in 10 days' time)
*Note: remember this KISS philosophy!* -
- > * I had wanted to write 2^31 in the description of a fn, but this caused LaTeX to fail with an error (about missing...
-
- I've just built the CoCoA-5 LaTeX-PDF documentation; there are several minor problems.
* JAA thinks the fn names in ...
Also available in: Atom