Activity
From 22 Apr 2012 to 21 May 2012
21 May 2012
-
17:27 Bug #137: JAA does not like the name IndetInd
- JAA talked to Anna. She liked @subscript@ and will implement.
-
15:54 Feature #131: Conversion from bool to INT
- I don't like an automatic conversion.
We could write a conversion function *Bool01* (the shortest name I could think... -
- Though I didn't say so explicitly previously, I believe that a truly *automatic* conversion from @BOOL@ to @INT@ is l...
20 May 2012
-
- 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 ... -
- > 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, ...
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 *...
02 May 2012
-
- 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 ...
24 Apr 2012
-
- 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._...
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...
Also available in: Atom