Activity
From 03 May 2015 to 01 Jun 2015
01 Jun 2015
-
22:31 CoCoALib Slug #722 (In Progress): valuation slow for large inputs
- I have implemented a version which divides repreatedly by the largest power of the prime which fits into @unsigned lo...
-
- Probably @QuoRem@ is a more sensible choice than @gcd@.
-
17:50 CoCoA-5 Bug #712: External Libs: missing dependencies in Makefiles
- Depending on the source files would maybe be to much. It can not know how to recompile the external library.
What I ...
31 May 2015
-
- Source code is in @NumTheory.C@.
It is just a very simple loop. Presumably I could test divisibility by a small pow... -
- I tried @valuation(5,factorial(1000000))@ and it took too long.
Make @valuation@ faster if the prime is small (and...
30 May 2015
-
- If we do implement some scheme for recognising use of external libraries, probably we should also do something simila...
-
- I have implemented my suggestion in note 1.
It occurred to me that if we do allow a string as arg (to where @Check... -
- I prefer that the exception thrown is not of the same type as a normal @CoCoA_ERROR@ because the reasons behind the e...
-
- I think it may be a cleaner design to use (impose) the convention that all exceptions CoCoALib are derived from a sin...
29 May 2015
-
17:20 CoCoALib Feature #721: CheckForInterrupt: string arg to specify where it was called?
- In fact I was suggesting something else: @CheckInterrupt@ throws something which is not a CoCoA_ERROR, so cocoa-5 doe...
-
- It looks to be almost trivial to add @CheckForInterrupt(const char*)@ and @CheckForInterrupt(const std::string&)@.
... -
- Anna indirectly suggested that it might be nice to have an optional arg to @CheckForInterrupt@ which takes a string i...
-
- Nice! I added it into @TmpGReductor.C@ (I was actually doing something else with very slow GB ;-) )...
26 May 2015
-
- (I had to do a bit of updating and adaptations) it compiles and works well.
Under emacs, both in shell and in comi...
25 May 2015
-
- Strictly the headers for @readline@ are needed only for compiling @LineProviders.C@.
Similarly @libreadline.a@ is ne...
24 May 2015
-
- It's not perfect (_e.g._ prints out READLINE twice in the list of ext libs).
Checking in anyway, as I must go now.
-
- I have just updated @configure@. If a quick test passes, I'll check in.
Currently it is a bit of a hack: _e.g._ it ...
22 May 2015
-
- John Abbott wrote:
> What to do?
> * *(A)* one possibility is to offer a command line arg to @CoCoAInterpreter@ whi... -
- The CoCoA-5 tests passed with @readline@ active. So I have checked in (to reduce the risk of losing the code).
St... -
- Compilation of @CoCoAInterpreter@ with require the option @-lreadline@ if the readline library is to be used.
-
- There is some problem with lines longer than 1023 chars. I think it is an Emacs/comint problem because cutting and p...
-
- I had to change just one line in @Main.C@ (and add some @#include@ directives).
What to do?
* *(A)* one possibili... -
- I have an apparently working first prototype :-)
-
- JAA does not want to make @readline@ mandatory for compiling CoCoALib, nor even CoCoA-5.
So @readline@ will become a... -
- I have downloaded and built readline-6.3.
Building was non-trivial: by default it compiled 32-bit (not compatible ... -
- @CoCoAInterpreter@ works just fine because the default streams in @libnormaliz@ are @cout@ and/or @cerr@ which is wha...
-
- A Google search for "division free algorithm for determinant" produces several hits. Possibly something there may be...
-
- I have changed @myDet@ in @DenseMatrix.C@ so that it calls @DetDirect@ only if there are at least 3 indets and the ma...
21 May 2015
-
- libnormaliz needs to be informed of two output streams: one for logging info (in "verbose" mode), the other for error...
-
- This was discussed in March 2009 via email. I will copy the essence of the messages here.
Christof would greatly ... -
- I have added a comment to the documentation.
I discussed with Christof the possibility of throwing an exception wh... -
- It is probably best to KISS: _i.e._ just have a straightforward signal handler which simply sets the flag. If this p...
-
- Attempts to profile the running program on my computer failed :-(
@gprof@ does not work properly in MacOSX, and ther... -
- With Christof we ran a side-by-side comparison (on my machine) with "verbose" activated.
The run under CoCoA-5 was a... -
- On my machine (MacBook Pro with OSX 10.5.8, compiler version 4.2.1)
Normaliz 2.12 took 9mins (about 550s)
CoCoA-5 ... -
- Here is the original Normaliz input file (called @5x5.in@ in their source tree):...
-
- Here is body of the CoCoALib code I used to speed testing in CoCoALib:...
-
- Here is the input I was giving to CoCoA-5...
-
- I suggest we keep a log here of the files we have looked at with a view to inserting calls to @CheckForInterrupt@.
-
- So that interrupts are acted upon we must insert calls to @CheckForInterrupt@ in various places -- principally in loo...
-
- I have checked in the impl with both *(A)* and *(B)*.
Then I deleted *(A)* and checked in again. This way I hope *(... -
- I have already reported this (and logged time) in issue #622.
I think @RandomSubsetIndices@ is likely to be useful...
20 May 2015
-
- ... I liked it so much I also changed *RandomTupleIndices*, *IsZeroRow*, *IsZeroCol*.
The code becomes shorter and e... -
-
- I have implemented in *Interpreter.C* the function *evalArgAsLong* returning a *long*.
I tested it on the definition... -
- John Abbott wrote:
> What is the current status? Has the cleaning been done? It has been working fine for several ... -
- What is the current status? Has the cleaning been done? It has been working fine for several months, so changing st...
-
-
- Anna Maria Bigatti wrote:
> the general @init@ file now works well.
> I don't think there is a particular need for ... -
- Added *Introduction to RINGHOM* and *Composition of RINGHOM*
-
- Improve chapter on RINGHOM
-
- All done: Renamed it *MinSubsetOfGens* and documented
-
- Now I'm less sure about using a @std::map@ since it might be difficult and/or costly to make it threadsafe.
Probab... -
- I spoke to Christof about the idea of recording when ext libs are actually used (_e.g._ see my suggestion of counters...
-
- I have checked in @RandomSubsetIndices@ and @RandomTupleIndices@ (in CoCoALib); also the interface fns in @BuiltinFun...
-
- John Abbott wrote:
> I have added defns to CoCoALib of @RandomSubsetIndices@ and @RandomTupleIndices@. These names ... -
- Checked in.
You'll have to remove @interrupt.C@ from @src/AlgebraicCore/Makefile@ until I can check those files in..... -
- John Abbott wrote:
> Where should the new functions go?
>
> Currently they are in a new file @combinatorics.C@ be... -
- Where should the new functions go?
Currently they are in a new file @combinatorics.C@ because I could not see any ... -
- I have added defns to CoCoALib of @RandomSubsetIndices@ and @RandomTupleIndices@. These names are very long :-/
N... -
-
- documentation done (and cvs'ed)
When we implement the "Indices" in CoCoALib we'll remove them from "NotBuiltin".
... -
- I added to NotBuiltin.cpkg the functions...
-
- I suggest having also @RandomTuple(n,r)@ which is indeed pretty simple: in CoCoA...
-
- John Abbott wrote:
> On line 126 when @indent@ prints out a submodule, it prints out the letter @F@ (in a string). ... -
- On line 126 when @indent@ prints out a submodule, it prints out the letter @F@ (in a string). Is this right? I supp...
-
- John Abbott wrote:
> I think it has just been forgotten; it seems like a good idea to me. Indeed now that direct pr... -
- In CoCoA we have *RandomSubsetIndices, RandomTupleIndices*.
Could they be useful in CoCoALib?
If so implement trans... -
- John Abbott wrote:
> Is there any sense in offering approach *(A)*? Perhaps it is best to offer just *(B)*, and add ... -
- I am undecided about which ways to offer for telling the GlobalManager which interrupt flag to watch:
* *(A)* specif... -
- First run of...
-
- in the cocoa manual there is this example...
19 May 2015
-
- Also seems to work with the C5 GUI now :-)
-
- I have implemented a first version following the outlines given above.
It seems to pass a quick test -- I have mad... -
- Here is a further complication: how to handle several libraries together?
Let us suppose that CoCoALib has a mechani... -
- There is a slight risk in my proposal above. If @SignalInterrupt@ is called asynchronously while @CheckForInterrupt@...
-
- As far as CoCoA-5 is concerned CoCoALib is "external software", and the problem noted in #713 applies as much to CoCo...
-
- Add an interrupt mechanism to CoCoALib.
-
- The C5 GUI still prints out the packages as they are loaded. Fix!
-
- I think that @Banner.C@ is a reasonable place to put it. I have cleaned up the code slightly; it now also prints out...
18 May 2015
-
- GNU has some useful looking documentation:
@http://www.gnu.org/software/libc/manual/html_node/Signal-Sets.html#Signa... -
- I am considering the following behaviour:
* each time ctrl-C is received a counter is increased
* if the CoCoA inte... -
- I have found this web page which gives some advice:
@http://stackoverflow.com/questions/103280/portable-way-to-catch... -
- Christof has tried some experiments with GAP, and he noticed that a single ctrl-C appeared to do nothing, but 2 ctrl-...
-
- Another possible (simple) approach is to offer a command line flag which stops @CoCoAInterpreter@ from intercepting s...
-
- Perhaps the best solution would be to leave the code as it is, and to write better documentation. After all a call t...
-
- Remember that a (portable) signal handler cannot do much.
Christof was puzzled when running some Normaliz tests th... -
- @CoCoAInterpreter@ intercepts @SIGTERM@ signals; this means that a long computation happening inside an external lib ...
-
- John Abbott wrote:
From issue #699:
<quote>
JAA notes that Emacs lisp has the built-in variable system-type whic... -
-
- Done.
-
- The CoCoALib binaries related to Normaliz (_e.g._ *@ExternalLibs-Normaliz.o@*) do not depend on the Normaliz source f...
-
- Christof says that Normaliz uses a @bool@.
Should CoCoALib simply follow what Normaliz does for its normaliz relat... -
- Anna Maria Bigatti wrote:
> Done in init.cpkg5.... but that's not good: it does not see the "--no-preamble" flag :-(... -
- We would like authors to cite CoCoA when they use in the their research. Presumably then they should also cite any e...
-
- Done in init.cpkg5.... but that's not good: it does not see the "--no-preamble" flag :-(
undoing it.
-
- I propose printing out a message about external libraries at the same time as the banner is printed out -- and the me...
-
- One piece of software printed out a message every time a Normaliz function was called: this produced thousands of mes...
-
- At the Normaliz workshop I noticed that two other pieces of software printed out "credits" when external libraries we...
-
- This issue has been idle for another year.
-
- It would also be nice if there were an indication of which version of each external library is present. The ability ...
17 May 2015
-
- *TO DO* JAA can try the same computation but from CoCoALib; perhaps some time is spent converting to CoCoA-5 data str...
-
- JAA has done a few speed comparisons between calling @normaliz@ directly from the command line and calling @NmzComput...
-
- The revised @normaliz@ interface aims to be backward compatible.
JAA prefers the new names in @normaliz@, and woul... -
- Normaliz is about to release version 3.0.
This has a revised interface (_e.g._ new names for certain existing feat... -
- Can we finish this issue in the near future?
-
- Some ideas are:
* a global flag which says what the default verbosity is
* an optional arg to calls to Normaliz whi... -
- Is it possible to make Normaliz be verbose from the CoCoA-5 interface?
Christof says he/they often find it help to s... -
15 May 2015
-
- tested both with @unsigned int@ and @unsigned char@: it works!!...
-
- Bug probably found.... my fault
John has implemented in GBEnv.C... -
- Some notes:
In @OrdvArith.H@ there is this comment:... -
- 32749 is the biggest prime with some guarantee for <I-cant-remember-what>, so the order matrix is actually over ZZ/(3...
-
- I still don't understand why it seemed to work (maybe a missing cvs checkout)
The problem is a simple (when you know ... -
- with (CoCoA-5) input:...
-
- CoCoA-4 had the syntax @I <= J@ which is now computed via @IsContained(I, J)@.
Investigate on how to return a meanin... -
- there are two functions: *MinGens* (for homogeneous case) and *MinGensGeneral* (trivial algorithm for non homogenous ...
-
- Anna Maria Bigatti wrote:
> Added entry "All CoCoA Commands".
> It only gives the list of entries with type "comman... -
- Done (hilop.cpkg5)
-
- Add more module operations: +, colon, ...
(there are also some operations for modules in CoCoA-5 packages)
The ma... -
- Add more module operations: +, colon, ...
Not much to do for CoCoA-5: most of the work is proper design in CoCoALib. -
13 May 2015
-
- An advantage of @vector<bool>@ is that it avoids the problem/incompatibility of indices in C++ starting from 0 (both ...
-
- JAA and AMB think that there is little need to have a similar function in CoCoALib since there are the CPP defines @C...
-
- Done.
Just fiddling with the string returned by... -
- Some ideas:
* a function @ExternalLibs@ which returns a list of strings
* a function @HaveExternalLib@ which expect... -
- It might be nice to have a way in CoCoA-5 to know which external libs are actually present.
-
- This issue is not so important (hence priority *low*); not even sure it is worth fixing, as it may complicate the bui...
-
- If you have CoCoALib already (configured and) compiled, and want to repeat compilation but also including an external...
12 May 2015
-
- John Abbott wrote:
> JAA notes that Emacs lisp has the built-in variable *@system-type@* which gives information abo... -
- JAA notes that Emacs lisp has the built-in variable *@system-type@* which gives information about which OS is running...
-
- Anna Maria Bigatti wrote:
> So, we cannot remember why we did this change: probably to allow spaces in path.
We r... -
- In earlier versions @cocoa5-executable@ was @CoCoAInterpreter@.
Now it is the script @cocoa5@ (and this caused prob... -
- The problem was solved and tested on a student's computer.
It is enough to add one line in the file *<cocoadir>/emac... -
- The recent installation of CoCoA for the Computer Algebra course in Genoa showed a problem on Windows in finding pack...
11 May 2015
-
- Done.
If the matrix is over an IntegralDomain then it is mapped into FractionField.
Then the inverse is mapped back... -
- Anna says OK for the name -- hard to find a shorter name which is clearer.
I have clarified the manual.
Closing.
-
- I noticed that some of Christof's code uses @rank@; I have written to him asking whether it would be resaonable to ch...
-
- I think everything has now been done.
-
- CoCoA-5 prints an empty line after each input line which outputs nothing.
Might be related to the fact that standa... -
10 May 2015
-
- Currently the function is called @eratosthenes@; is there a better name?
The doc needs slight clarification @erato... -
- Can we close this?
09 May 2015
-
- The implementation will almost surely be best done via mem fns since the actual inner working of an "accumulator" wil...
08 May 2015
-
- Following CoCoALib conventions the return type should be @vector<long>@.
What should the values in the vector be? ... -
- This issue has status @Feedback@ but the percent done is just 20%.
What is the actual status? Should this issue be ... -
- I have implemented a first version of @AdjByDetOfMinors@; it may already be obsolete because I have also implemented ...
-
- There is a file @test-OrderedRing1.C@ which is not actually executed.
Either fix it so that it works (currently fail... -
- Commented out code could make sense in the following cases:
* the test is valid, but the relevant CoCoALib code is N... -
- Several test files contain commented out code; this should either be removed or made active (or perhaps add a clear c...
-
- Actually I am rather surprised that it is not necessary for all tests.
Investigate why it works without explicitly... -
- Some test files explicitly include @CoCoA/assert.H@ but many do not.
Check that it is truly needed when it is pres... -
- JAA has finished all test files. Will check-in, then we can verify on several platforms that all is well.
-
- Here is an invertible 3x3 matrix...
-
- The excesive verbosity has arisen again: @Rank@ was exported from 2 packages (@BackwardCompatible@ and @obsolescent@)...
-
- generated cvs log...
07 May 2015
-
- JAA has now done @test-[J-Q]*.C@ and @test-[a-h]*.C@
-
- The file @src/tests/Makefile_dependencies@ seems to be suspiciously simple. Either it is wrong or it is pointless. ...
-
- Anna Maria Bigatti wrote:
> - when @IsZeroDivisor@ is called and should return @false@ then its ring is not integral...
04 May 2015
-
- In the example given I note that @x@ is actually a *protected* variable -- perhaps even more reason for a warning?
-
- In function definitions local variables hiding outer ones are signalled by a Warning.
At top level not. This might ...
Also available in: Atom