Waldek Hebisch <[EMAIL PROTECTED]> writes:
> Martin Rubey wrote:
> > Find below a list of issues where I have no idea of the proper status.
> > Often
> > the main problem is that I do not understand what the bug is.
> > 110, 226, 378, 107, 112, 136, 302, 39, 17, 187, 228
here is another one: 51
>
> I took a look at 110 and I think that this is not a bug report -- in
> this case IssueTracker is just used as a discussion forum. I would
> just remove such pages from IssueTracker (and put them somewhere
> else in the wiki).
Thanks. I closed the Issue and moved the contents to a new page,
SymbolsAndVariables.
> > Waldek, Gaby: is 370 fixed in FriCAS, open-axiom? (I do not even know what
> > the
> > bug is.
> FriCAS contains a patch by Steve Wilson to correct this problem.
OK, I added an appropriate message.
There remain 182 open bugs.
Axiom Aldor Interface: 2
Axiom Compiler: 12
Axiom Library: 66
Axiom Interpreter: 31
Axiom User Interface: 20
Axiom Documentation: 8
Axiom on Linux: 10, I think these are all non-problems in FriCAS
and Open-Axiom
Axiom on Windows: 7, ditto
building Axiom from Source: 13, ditto
DoyenCD: 3, ditto
MathAction: 7, ditto
lisp system: 2, ditto
IMPORTANT NOTE: I did not put "fix proposed" statuses on bugs where the report
indicates - possibly implicitly - that only a certain version of axiom is
affected.
For me personally, the bad bugs are mostly in "Axiom Library". Some recurrent
topics are, I believe:
* integration (346, 318, 360)
(a workaround for the ones about special functions could be to implement gfun
as proposed on the WishList)
* problems with the EXPR domain resulting from the fact that we do not have
assumptions (or provisos, if you like).
* possibly related to the above two: problems with branch cuts of atan, asin,
etc. (141, 138)
* factorisation problems (354, 269, 290, 254, 253)
* problems with limit computations. This could be fixed by implementing
Gruntz.
* problems with solve, which is really not very clever...
The other very bad bugs (for me, again), are with respect to aldor and the spad
language:
* I still do not have an aldor interface with fricas
* Axiom still doesn't understand dependent types
* Axiom still doesn't understand aldor extend
* SPAD cannot deal with conditional exports dependending on functions (354)
I'm very very curious to see what 2008 will bring! All the best,
Martin
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
