Activity
From 18 Sep 2012 to 17 Oct 2012
17 Oct 2012
-
20:37 CoCoALib Feature #248: IsDivisible for RingElem with nice interface
- It is not really important, but I will mention that in some cases one can test divisibility much more cheaply than co...
-
- Anna's proposal *@bool IsDivisible(r, r1, r2)@* is reasonable and fits in with what we have done in similar cases so ...
-
19:05 CoCoALib Feature #248: IsDivisible for RingElem with nice interface
- Maybe we could add the interface *bool IsDivisible(r, r1, r2)* which has a similar feeling to *bool IsInteger(n, x)*....
-
- Checking in completed.
Documentation has still to be updated.
-
- We should offer all documentation is needed for compiling CoCoALib/CoCoA-5 on MSWindows.
* We believe it should be e... -
- Sometimes building the C5 GUI fails because of linking problems.
The problem is that in *@C5Makefile@* there is no...
15 Oct 2012
-
- CVS check-in blocked until new release of CoCoALib has been made.
I'll look at the documentation in the meantime.
14 Oct 2012
-
- Try adding (in the right place...)...
12 Oct 2012
-
- I have a very strange problem compiling the debug2 version.
(indeed it is not related with debugging at all, but wit... -
- Alessandra reports:
* *@examples/CopyInfo.C@* is not an example -- Anna has added a comment to the file
* incomple...
11 Oct 2012
-
- Now we have a git copy of cocoalib to play with.
Moreover I tried to make a new small project (math exercises ;-) ... -
- I have replaced all occurrences of *@RefRingElem@* (usually by *@RingElem&@*),
and made a few scattered minor chang... -
- I have implemented a reasonably clean solution to case *C*; it is exception safe but does make a "wasteful copy".
... -
- The impls for *@ConcatVerImpl::mySetEntry@* are completely general, so move them up to the base class.
10 Oct 2012
-
17:22 CoCoALib Support #262: Play with GIT
- I used some of the ideas from
http://undefinedvalue.com/2010/07/02/workflow-remote-cvs-local-git
to use git on my s... -
- Anna & John: Use a temporary copy of CoCoALib to learn the various GIT commands.
-
- I have modified the source code in the 4 areas indicated in my previous post. It all compiles and the tests pass.
... -
- I am considering eliminating the type @RefRingElem@. To do this I must find out where the type is used.
The type @R... -
- JAA is currently assessing how useful/necessary @RefRingElem@ is; the hope is that they can simply be eliminated (alo...
-
- From studying issue #221 it has become apparent that the role of *@RefRingElem@* needs urgent review.
09 Oct 2012
-
- Hensel lifting for univariate GCDs requires a squarefree GCDfree basis.
There is an implementation in @GCDfreeBasis.... -
- In CoCoA-4 there is some rather inefficient code for multivariate lifting. Can it be made more efficient?
In any ... -
- The old CoCoA-4 univariate GCD code should be transcribed into CoCoALib.
It comprises:
* gcd in Fp[x] via standar... -
- [following on from a discussion with Christof]
It does not seem to be possible to allow more than one input expressi... -
- Any progress?
-
- JAA proposes the following guideline:
a coefficient is printed between brackets except when:
* the coefficients @+1@...
08 Oct 2012
-
- Specify what default grading is.
-
- As we did for GMP (see #247)
-
- Closed issue #247 has satisfied wish (7).
-
-
-
- Christof and John looked at various possible printed forms of *@(3-2*x)^5@*...
-
- Right now Hilbert series do not exist in CoCoALib.
In CoCoA-5 they are built in the package @hp.cpkg5@.
Now we ne... -
- Don't forget the *@DEBUG2@* setting available in @autoconf.mk@; it activates checking in @MemPool@ managed memory, an...
-
- Further improvement of error message:...
05 Oct 2012
-
- If I define @ConvertTo@ for converting @RingElem@ into @BigInt@, should I define all members of the convert family fo...
-
- Improved all multivariate polynomials (using new function *myAddMonomial*)
Need some memory checking, just to make s... -
- I found the reason why "lhs+=f" is slow:
to guarantee *exception safety* it has to make a copy of lhs.
But, when f is... -
- I made an example showing how to add one monomial at a time and comparing timings with standard "+=".
... "+=" is ... -
- Add some tests and will extend it when new Nmz functions come.
-
- *2013-02-18: The problem presented in this post has been resolved by removing the class @RefRingElem@ (see #261)*
Th... -
- More code clean up and use of new libnormaliz functions for meaningful error messages when something couldn't be comp...
-
- * Made the NewCone functions to constructors of cone.
* Introduced some abbreviation in the method names:
Integral... -
- ...
-
- I have changed the name of a field in a @factorization@ object: it is now @myMultiplicities@ rather than the previous...
-
- There is a new configuration option *@--threadsafe-hack@* which activates the CoCoALib compilation flag @-DCoCoA_THRE...
04 Oct 2012
-
-
- Implemented Bruns(10): "multiplicity" instead of "exponents" in @factorization@
-
- Dear Anna and John,
let me collect all the points that came up in the development of nmzIntegrate (Christof has ev... -
- all done, all tests and documentation for CoCoALib and CoCoA-5
Need to sleep on it an tomorrow I'll check it in and ... -
-
- An interesting suggestion is to have a procedure (with 2 params) which "moves" the leading form of one param into the...
-
-
-
- Anna will add a clear example.
-
- JAA suggests using the @convert@ family for achieving this. For instance...
-
- Assignment of an integer (or rational) to a RingElem will automatically map into the ring.
However, we want to be ...
03 Oct 2012
-
- I've solved yesterday's problem (but still have not understood what caused it).
I was about to update the documentat... -
- My "gut feeling" is that code in @tmp.C@ should not have official documentation.
However, from a practical point o... -
- @tmp.H@ includes some useful functions, such as *sum*, *product*, ...
but documentation is missing (of course, as it... -
- Due to a change of the compile flags variables in the autoconf.mk and a seperated build command for cocoa5 the COCOA_...
-
- Did what I said in the previous post and:
* Integration of the ConeImpl.myXX() into the XX(), only the myCompute fun... -
- Still missing: multihomogenization.
-
- Now there are tests, and documentation.
Should also add multihomogenization: takes just some designing, all "brute c...
02 Oct 2012
-
- Most of the work is done.
-
- Non homogeneous assignment of @RingElem@ is trickier than I thought (because of the inheritance from *@RefRingElem@*)...
-
- Note that assignment to a *@RefRingElem@* cannot change the ring to which it belongs because it may well be a referen...
-
- We agreed on:
keep the SmartPtr class cone
remove the abstract base class
name the implementation class ConeImpl -
- Several CoCoALib test files need to be improved, and probably some more new ones written. This could also prove a us...
-
- I have improved the doc for *@ring@* (adding assignment and equality tests).
I have also confirmed that the curren... -
- CVSed first trivial test for Normaliz and mechanisms for running it when *HAVE_NORMALIZ=yes*
(modified RunTests.sh mo... -
- *For external libraries*:
same as above, but the test file has to be called, say for library *Foo*,
*ExtLibFOO.coco... -
- # write a test file *foo.cocoa5* in *tests/*
# run it and check if it really does what you want it to do ;-)
# add ... -
- Added field @CompilationDefines@
(used to be part of @CompilationFlags@)
-
- Some functions defined in VersionInfo are just returning strings defined in BuildInfo.
Should this structure be simp... -
- Very strange! I compiled yesterday and I see (at least one of ;-) Normaliz functions...
01 Oct 2012
-
- Now Normaliz is available in C5 (see #207) but not in the text interpreter, very strange.
But it shows that tests f... -
- Works fine. Thanks!
-
- Another possibility is to modify the test script to behave slightly different with external libs. For an example libr...
-
- the line in Makefile running the tests is...
-
- it works for me!
-
- If Anna and Renzo confirm that my solution works for them too, I'll close this issue.
-
-
- A simple test example showed that assignment of rings was already working. A visual check of the source for @SmartPt...
-
- To enable assignment for *@ring@* I must enable assignment for *@SmartPtrIRC@*. I wonder what consequences that will...
-
- The function...
-
- Waiting for confirmation from *John* and *Anna* that Christof's new script works on their computers. Will close if al...
-
- The configure script currently wants to get the path to the gmp headers and libraries. If there is a system default i...
-
- The web page for MPFR reports that there is a library *MPFI* which implements interval arithmetic on top of MPFR.
-
- Implement (in C++) approximate QIR following the article by Kerber+Sagraloff (publ ISSAC 2011).
The impl will need... -
- Waiting for confirmation from *John* and *Anna* that Christof's new script works on their computers. Will close if a...
-
- Works for me.
-
- Here is a reasonable proposal for how we could implement the ideas above.
We define a CPP macro called @DECLARE_MISS... -
- Initially I was unconvinced, but then realised that an error message is necessary, and naturally the error message sh...
-
- Right now if an external library, say, Normaliz is not linked in, all its cocoa-5 functions are not defined.
This me...
28 Sep 2012
-
- OK! As I said for #221
-
- JAA proposes we add:
* default ctor for *@ring@* (value is @RingZZ()@)
* assignment of rings
The second is cert... -
- John Abbott wrote:
> Any objections to allowing assignment of values of type @ring@?
ok for me: in fact I had to ... -
- To implement assignment of @RingElem@ which can change the ring, I need to allow *@ring@* to be assigned -- currently...
-
- *Case (A)* We have decided that this code:...
-
- I will make a little Normaliz test CoCoA5 script.
But we have to find a way how to let it run automatically if and... -
- To close a "version":
go to roadmap
select the version
top right corner (usually outside my narrow window..) there... -
- Here we list all ideas for possible student projects.
Some are already in redmine, so we just add them as "related i... -
- Done: PolyRing
(now I write the documentation. Where? RingElem.txt?) -
- For checking the input of some CoCoA5 Normaliz functions I could use an AreMonomials(const std::vector<RingElem>& ) f...
-
- Alessandra:
* several guidelines for improving *@DynamicBitset@* (doc and example)
* approved @symbol@, @ideal@, @fac... -
- I confirmed the problem using the GUI on my computer (Mac OS 10.5.8).
I reinstalled GMP (version 5.0.5), selecting a... -
- Alessio produced a slightly improved impl for computing squares, except that it actually runs slightly more slowly th...
27 Sep 2012
-
- The first failing computation was (by L.Robbiano)...
-
- Difficult to notice, but it appears that the GUI (rarely) crashes (maybe!) for GMP not being thread-safe (the GUI run...
-
- Here is why I think the dependency files and the C5.pro file should not be in there.
1) They are generated automat... -
- The problem turned out to be not passing @-DCoCoA_WITH_NORMALIZ@ flag to the script which builds @C5Makefile@.
The... -
- The builtin normaliz functions are not available in the C5 GUI.
26 Sep 2012
-
-
- In the @src/CoCoA-5/@ directory I found that @make clean; make@ was sufficient on my computer.
-
- Yes, shell scripts are much more readable than @Makefile@ code. So we arrange for the @make@ target to call your she...
-
- John Abbott wrote:
> Christof suggests making a cleaner CVS repository:
> (essentially all generated files should n... -
- Christof suggests making a cleaner CVS repository:
(essentially all generated files should not be in the repository)... -
-
- We expect the homogenizing indeterminate is in the ring (as in cocoa-4).
-
- To make the conversion at least easier a constructor like in #7 note-4 would be helpful: *@RingElem(R, x)@*
If an ... -
- John Abbott wrote:
> If we allow "mixed ring" assignment then we should also allow "mixed ring" *@swap@*.
I agree -
- If we allow "mixed ring" assignment then we should also allow "mixed ring" *@swap@*.
JAA would expect *@swap@* to ... -
- primality test implemented in CoCoALib
25 Sep 2012
-
- The geobucket doc is very old and needs a major revision.
-
- Should we implement functions very like *@AsINT@* and *@AsRAT@* in CoCoALib?
What should their names be? Anna sug... -
-
-
- Anna, Christof and John all agree that:
* the default ctor for @RingElem@ produces 0 in @ZZ@
* the rule/guideline i...
24 Sep 2012
-
- Add a test for @QBGenerator@.
PS I made a mistake while updating the @QBGenerator@ code, and all tests passed (so ... -
- This may not be the correct place, but I wanted to note that until we have automatic conversions (if ever), an equali...
21 Sep 2012
-
- Alessandra helped us
* sort out doc for @ideal@, @ApproxPts@, @BuildInfo@, @error@
* improve examples for @Alexande... -
- Alessandra has decided to do 3 rather than 4 credits.
-
- Improve maintainer doc for @QBGenerator@.
-
- Giovanni Lagorio wrote:
> The solution is to implement a move constructor in BigInt (and every "huge" data structure... -
- The function @SquaredPoly@ should be of quadratic complexity, so doubling the degree should increase computation by a...
-
- > Testing has highlighted some curious (& undesirable) behaviour of the CoCoA interpreter, _e.g._ doubling the degree...
-
- Alessio has produced two prototype implementations in CoCoA: one computes the square "in place", the other produces a...
19 Sep 2012
-
- Robbiano requested a function for randomizing the coeffs of a polynomial (which is just a ring elem).
It would be ...
18 Sep 2012
-
- Here's Bruns's original request:
do you have a function that returns the highest homogeneous component of
a polyno... -
- Winfried Bruns reports the following issue:
... sometimes libcocoa.a is created without an index on my machines. T...
Also available in: Atom