Activity
From 21 Apr 2012 to 20 May 2012
20 May 2012
-
13:28 CoCoA-5 Bug #163 (Resolved): RealRootsApprox bombs
- I've modified RealRoots, and it seems to work now.
What puzzles me is that the bug came to light only today, even ... -
- Added a new C5 test file.
The RealRoots code is rather messy; I suppose it should be rewritten in C++. Any volunt... -
- The example I gave contains @FStar@ instead of @F@.
The bug is simply an unwarranted error; JAA does not believe the... -
- The following lines produce an *@ERR::SERIOUS@* on my installation...
-
- By accident I created a filename containing a newline.
Sending the file to CoCoA-5 in emacs (by C-c C-f) produced th...
17 May 2012
-
- Anna Maria Bigatti wrote:
> So the best is *@IsTrueGCDDomain@* it is the shortest of the type @Is***GCDDomain@ (and ... -
18:32 CoCoA-5 Bug #110: Surprise return type for GCD of a list of ints
- > Almost all our suggestions are rather long; perhaps this does not matter so much? Maybe we should just choose one,...
-
- Anna Maria Bigatti wrote:
> Another suggestion: *IsValidGCDDomain* (by L.Robbiano)
I'm not very convinced; I'd... -
- John Abbott wrote:
> However, if we regard fields as not "gcd domains" then what name should be use to mean "gcd doma... -
- RegularityIndex is not complete/correct...
16 May 2012
-
- JAA believes that *@myGcdInField@* was created for the following reason.
In CoCoALib fields satisfy *@IsGCDDomain@... -
- > JAA thinks that
> *we can compute GCDs between values of type @RAT@*
> should be equivalent to
> *we can compute GC... -
- JAA thinks that
> *we can compute GCDs between values of type @RAT@*
should be equivalent to
> *we can compute... -
- There is one other imstance where @myGCDInField@ is called.
*@ex-RingElem1@* attempts to compute a GCD in a field (a... -
- JAA modified @RingBase::myGcdInField@ to give error rather than produce a result of 0/1. All CoCoALib tests passed, ...
-
- A richer template for the documentation is offered in @empty.txt@ for homogeneity in class descriptions and facilitat...
-
- Some documentation has already been rewritten.
Check that all files have appropriate links to operations in the righ... -
- Redmine seems a lot easier to keep up-to-date than our old task table page.
We should then remove the task table and...
15 May 2012
-
-
- It seems to work OK for monomial ideals, but......
-
- JAA cannot find the manual page for *@AsRAT@* (ditto *@AsINT@*).
The only occurrence in @CoCoAHelp.xml@ is in a @<s... -
- JAA has checked in the modified defn of *@AsRAT@*.
The question of the names of @AsRAT@ and @IsRational@ remains o... -
- John Abbott wrote:
> It seems reasonable to me that *@AsRAT@* give either error or a @RAT@ as result -- after all it ... -
- JAA has modified the defn of *@AsRAT@* so that it returns a @RAT@ even if the arg given was an @INT@. All the CoCoA-...
-
- JAA was wondering how to convert a value of type @INT@ into the equivalent value of type @RAT@. Recall that arithmet...
-
- *@AsRAT@* is defined at lines 31--39 of the file @NotBuiltin.cpkg5@.
[updating the defn should be pretty easy]
*B... -
- It seems reasonable to me that *@AsRAT@* give either error or a @RAT@ as result -- after all it is a sort of "cast". ...
-
- In CoCoALib we have the function @myGcdInField@, so we can compute gcd of elements in RingQQ. So, what shouldwe do i...
-
- The code now works: *@type(gcd([2,3,4])@* is of type @INT@.
Also @lcm@ has been fixed accordingly.
It does not se... -
14 May 2012
-
- Anna thinks she can fix the reading of homogeneous lists; she will look into it in the next few days.
-
- JAA thinks that introducing a separate name for the function for computing GCD of integers is a *bad* idea because it...
-
- JAA proposes that reading of homogeneous lists have three possible return types:
* list of @INT@
* list of @RAT@
*... -
- Today some students passed with a CoCoA-5 problem which derived from the unexpected return type of *@gcd@* applied to...
-
- What type should the result of *@AsRAT(3)@* have?
At the moment @AsRAT@ returns an *@INT@* if its arg is of type *...
11 May 2012
-
-
- Alessandra reports that the doc for *@PPMonoid@* did not explain clearly what a PPMonoid is, nor why CoCoALib offers ...
10 May 2012
-
-
- Added fns equivalent to many of the procedures for arithmetic.
Needed to add several other fns. Development proce... -
- Consider making a BOOST-free (and possibly non-threadsafe) version so that CoCoALib can be compiled without requiring...
-
- The *@ThreadsafeCounter@* recently added to @symbol.C@ will be useful elsewhere (_e.g._ in rings for the ring counter...
-
- It is simpler to move the "special" ctor into the private zone, and remove the *@AnonymousMarker@*. This should take...
-
- Check through existing code, and use anonymous symbols where appropriate. Then check everything!
-
- I have opted not to implement *@IsAnonymous@* because I cannot think of when it might actually be useful.
The curr... -
- JAA has completed a first impl. The new public fns (pseudo-ctors) are:
* *@NewSymbol()@* which creates a single new... -
- A first impl of nameless symbols together with a change to line 1480 in @TmpGReductor.C@ has solved the problem.
A...
09 May 2012
-
- The current suggestion for imlpementation is the following:
* internally an anonymous symbol has empty head
* the p...
08 May 2012
-
- Anna Maria Bigatti wrote:
> *@Elim@* (and a few other functions) create a temporary ring.
Yes. Temporary rings are ... -
- John Abbott wrote:
> No doubt the problem is due to the temporary rings (inside @Elim@) not self destroying when the... -
- JAA suggests that internally the head of an "anonymous" symbol be the empty string; the accessor function then checks...
07 May 2012
-
- John Abbott wrote:
> Here are some more proposals for the head: *@??@* or *@#@* or *@_@*
>
> (...)
>
> Right now ... -
- Here are some more proposals for the head: *@??@* or *@#@* or *@_@*
Printed value would look like: *@3*??[17]^... -
- This is hardly important, but might be beneficial in a multithreaded environment. Possibly it would be "cleaner" too...
-
- Here are 3 proposals for new PPMonoid pseudo-ctor signatures:...
-
- JAA's first suggestion is to create "gensyms" containing a single index (in the hope that the index will not overflow...
-
- The pseudo-ctors for PPMonoids all require that names be specified for the indets.
It can occur that we want to cr... -
- The guilty line is 1480 in *@TmpGReductor.C@*
My example used an unindexed *@x@* in the field of coeffs -- this tri... -
- GCD produces an unexpected error. Here is an example:...
-
- Alessio has started writing his report on Bernardin's article.
There are some typos in the article. JAA has given... -
- GCDs in a poly ring over a field are defined only upto a constant factor.
If the field is a FractionField then there... -
- The function *@ContentWRT@* gives result with strange scale factors sometimes....
-
- This issue has effectively been replaced by #107.
-
- Should there also be a fn called *@PthPower@*?
I note that *@IsPthPower2@* and *@PthRoot2@* have become forgotten;...
04 May 2012
-
- Spent about 45 mins discussing with Anna. Differences of opinion remain.
-
- We need shorter names for *@IsDefinitelyTrue@* and *@IsDefinitelyFalse@*.
Also need a shorter way of expressing th... -
- I have modified *@operator<<@* for OpenMath streams so that they handle explicitly machine integers (rather than *@Ma...
-
- Alessandra reports:
* the examples 2,3,4 of *@ex-RingWeyl@* are almost identical -- this cannot be what is intended!
... -
- In some quiet moment switch to using BOOST's *@tribool@* (or C++11 equivalent if it exists).
It seems pointless try...
03 May 2012
-
- There is already some code called *@TmpChainCanonicalHom@* in @CanonicalHom.[HC]@: it looks whether there is a "chain...
-
- Implement *@NaturalMap@* and iterated *@CanonicalHom@*
-
- *@RingOf@* can be applied to: ideal, RingElem, matrix, HomogList.
-
- In CoCoA-5 to get the ring to which a RingElem belongs we use the fn *@RingOf@*.
Currently in CoCoALib the analogous...
02 May 2012
-
- There are problems with dependencies for optional external libraries.
How to make these dependencies visible only ... -
- In emacs when an error occurs running code sent via C-c C-f (effectively "source") the user can use C-c C-p to go to ...
01 May 2012
-
- Impl the idea presented in AKR "Zero-dim Schemes" which uses modular reduction to get the form of the answer quickly ...
-
- Variants of BM which accept more convenient input (e.g. points or 0-dim ideals).
Simply convert inputs to sets of ... -
- Impl BM over a small prime finite field. Aim for speed.
Input ideals are represented as multiplication matrices (... -
- Implement generic BM algorithm over any field.
Aim is to make impl clean rather than fast.
Each input ideal is re... -
- Robbiano wants to have Buchberger-Moeller in C5. It makes most sense to implement it in CoCoALib and then make it vi...
30 Apr 2012
-
- If ref counting is removed (seems to be highly desirable to avoid it in multithreaded programs) then CoCoALib needs t...
-
- Currently CoCoALib can be made (largely?) threadsafe by compiling with the flag *@-DCoCoA_THREADSAFE_HACK@*. As its ...
-
-
- I was running a CoCoA-5 compiled with *@-DCoCoA_THREADSAFE_HACK@*. The leaks I observed disappeared when I removed t...
-
- The following code has the symptoms of a memory leak (grows to about 650Mbytes):...
27 Apr 2012
-
- Implemented the chosen names.
Created/corrected CoCoALib doc for the new fns.
Added CoCoALib example program *@ex-m... -
- A quick count using Google suggests that *@LinSolve@* as about twice as popular as *@MatSolve@*. Anna points out tha...
-
- Tests and doc are already done for CoCoA-5.
Still missing in CoCoALib -
- Alessandra reports
* finished *@BigInt@*, *@BigRat@* and *@MachineInt@* (doc and examples)
* *@bool3@* doc was poor; ... -
- Alessandra reported (some time ago) that the doc for *@convert@* was rather unclear -- she could not figure out how t...
-
- John Abbott wrote:
> The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from... -
- Caleo pointed out that it is unclear what *@AsFractionField@* does.
JAA has already noticed that it is a nuisance ha... -
- Confirmed need for major redesign.
Current main doubt is how public I should be about the type *@SmallFpImpl::valu...
26 Apr 2012
-
- After talking to AMB, it seems best to "forget" the general function for the time being (until we have a genuine need...
-
- John Abbott wrote:
> We need a good name for this fn. The name @CoefficientsWRT@ would be fairly good, but could be ...
24 Apr 2012
-
- The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from @bool@.
I have al... -
- Added C5 documentation for @IsFiniteField@, @LogCardinality@, @IsPthPower@ and @PthRoot@.
JAA wonders whether *@Ext... -
- JAA now believes that he has a decent algorithm for testing a polynomial ideal for maximality. As prerequisite it ne...
-
- If we change to "subscript" instead of index then we must change the name of the "index" field in the result of @Inde...
-
- C5 inherited from C4 the name @IndetInd@. It is the function which produces a list of "indices" from a indet, _e.g._...
-
- JAA thinks that the most useful form of @CoeffsWRTBasis@ is one where the basis is an ordered set of PPs. Mathematic...
-
- Part of this task has already been solved by #90 @CoefficientsWRT@.
JAA now needs a fn which converts a polynomial i... -
- I cleaned the code so that it leaks less memory now.
The cleaning was a consequence of some other development.
23 Apr 2012
-
- Robbiano confirmed that the blank lines and prompts are a new "feature" of the C5 GUI produced recently by Abbott -- ...
-
- Mac users expect to find drop down menus on the top menu bar.
CoCoA GUI offers no such menu for editing commands (su... -
- Where should the documentation go?
-
- I have made the following fns available in CoCoA-5:
* @IsFiniteField@
* @LogCardinality@
* @IsPthPower@
* @PthRoot@
...
Also available in: Atom