Re: [Axiom-developer] org.codehaus.stax2.StAXException missing in

2016-12-02 Thread Waldek Hebisch
ra system -- quite a different thing that you have in mind. -- Waldek Hebisch ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] A question about differential equations

2015-10-17 Thread Waldek Hebisch
t; >List(Expression(Integer))) > > > >-- > >of which the particular solution is a bit of a jumble. It doesn't seem to > >be particularly simplifiable try eval(sol.particular, exp(-5*x)= exp(-x)^5) -- Waldek Hebisch ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit

2015-10-02 Thread Waldek Hebisch
AS with Ma-s I noticed that once examples got complicated enough, then Ma-s could no longer do them. -- Waldek Hebisch ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Bernoulli puzzle

2014-10-20 Thread Waldek Hebisch
)::RN) line gets value of Bernoulli number. PS. This is essentially using the recursive definition given in Wikipedia. Wikipedia calls this inefficient, but AFAICS due to memoization it is much better than Akiyama-Tanigawa presented in Wikipedia. -- Waldek Hebisch

Re: [Axiom-developer] [fricas-devel] Re: CAD package from Renaud

2014-09-10 Thread Waldek Hebisch
closure package which was inside NAG's Axiom. Things have much evolved now and we may distribute software with free license. Thank you, now situatiobn is clear. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom

Re: [Axiom-developer] CAD package from Renaud Rioboo

2014-09-09 Thread Waldek Hebisch
licence to GPL. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] [fricas-devel] Re: CAD package from Renaud Rioboo

2014-09-09 Thread Waldek Hebisch
On 09/09/2014 04:03 PM, Waldek Hebisch wrote: Thanks. However, I have a compilable version for FriCAS. Huh? Where? In my machine. I have waited to have clear copyright situation. Currently FriCAS is BSD licenced while IIRC the CAD pacakge is GPL. GPL? What are your sources

Re: [Axiom-developer] Computational Mathematics, proofs, and correctness

2014-05-26 Thread Waldek Hebisch
of processor is rather hard to establish, because internal design is kept secret. But above what proof means is clear and methods are known -- it is only problem of huge effort needed for such work. -- Waldek Hebisch hebi...@math.uni.wroc.pl

Re: [Axiom-developer] [fricas-devel] Re: trademarks

2013-04-23 Thread Waldek Hebisch
. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] [fricas-devel] Re: trademarks

2013-04-23 Thread Waldek Hebisch
not sure how the two sentences above fit together. Do you mean that there should be a single wiki for all forks and no attempt to distinguish them? -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing

Re: [Axiom-developer] [fricas-devel] Re: trademarks

2013-04-23 Thread Waldek Hebisch
only one somebody trigger page refresh (in particular when page is modified). -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo

Re: [Axiom-developer] [fricas-devel] spadhelp

2012-09-21 Thread Waldek Hebisch
have read them and they seem quite accurate. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] axiom-wiki: PanAxiom or separate project

2012-06-11 Thread Waldek Hebisch
recursive types (single recursion is doable by using %). -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] [fricas-devel] axiom-wiki: PanAxiom or separate project pages?

2012-04-22 Thread Waldek Hebisch
. Regardless of current and future preferences of authors, it would be shame to loose material accumulated in Axiom wiki, so I wish the site back. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing

Re: [Axiom-developer] A quick question about finite fields and

2012-04-17 Thread Waldek Hebisch
)$UnivariatePolynomialCategoryFunctions2(fF, SUP fF, pF, SUP pF) In more complex cases you may need PolynomiaCategoryLifting. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org

Re: [Axiom-developer] wrong sign in limit?

2010-09-30 Thread Waldek Hebisch
. If you want result which is correct for both branches you need something like: -sqrt(a^2)/a^2 but such expressions cause trouble so limit decided just to pick one branch... -- Waldek Hebisch hebi...@math.uni.wroc.pl

Re: [Axiom-developer] Memory limit.

2010-06-30 Thread Waldek Hebisch
. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] pointers

2009-11-10 Thread Waldek Hebisch
Type: Boolean -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom

Re: [Axiom-developer] Axiom compiling - newbie questions

2009-11-07 Thread Waldek Hebisch
. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] fricas-1.0.5 fails to build on (my) Gentoo system

2009-01-29 Thread Waldek Hebisch
. -- Waldek Hebisch hebi...@math.uni.wroc.pl ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 20080620.01.wxh.patch (fix directproduct multiply in Monoid)

2008-06-22 Thread Waldek Hebisch
[EMAIL PROTECTED] wrote: +20080620 wxh src/algebra/vector.spad handle direct product multiply AFAIK this patch is due to Bill Page. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer

[Axiom-developer] Re: [fricas-devel] makeAxExportForm

2008-06-02 Thread Waldek Hebisch
is makeAxFile which is almost identical to makeAxExportForm but prints the result to a file (named by the filename argument). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http

Re: [Axiom-developer] Re: About Schaums.

2008-05-07 Thread Waldek Hebisch
on statistics() @ Index: ChangeLog.wh === --- ChangeLog.wh(wersja 278) +++ ChangeLog.wh(kopia robocza) @@ -1,3 +1,9 @@ +2008-05-08 Waldek Hebisch [EMAIL PROTECTED] + + * src/algebra/intef.spad.pamphlet: lfextendedint

Re: [Axiom-developer] Re: About Schaums.

2008-05-06 Thread Waldek Hebisch
' (and extra code to handle remaining cases). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] Re: [fricas-devel] possible bug

2008-04-29 Thread Waldek Hebisch
, t, 0)_ - first Phi Psi Phi [x,y,Z2] gives me 0. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28))

2008-04-27 Thread Waldek Hebisch
. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] java.lang.ClassCastException

2008-03-25 Thread Waldek Hebisch
seem to speak about http://ws.apache.org/commons/axiom. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] aldor/axiom interoperability

2008-03-14 Thread Waldek Hebisch
in the same way. So the question is which versions of Aldor use the formula above? Did Axiom always use wrong formula or is this a change in Aldor? -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom

Re: [Axiom-developer] Lisp

2008-03-05 Thread Waldek Hebisch
equations for this set. But then we are left with problem of finding integral points on an algebraic surface. I would be surprised if Mathematica really can solve this problem (that is give correct solutions and prove that there are no others). -- Waldek Hebisch [EMAIL

Re: [Axiom-developer] 20080221.01.tpd.patch (7099: complex gamma function investigation)

2008-02-21 Thread Waldek Hebisch
. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 20080221.01.tpd.patch (7099: complex gamma function investigation)

2008-02-21 Thread Waldek Hebisch
). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Re: Bad crash

2008-02-05 Thread Waldek Hebisch
)? -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Re: Groebner basis

2008-02-05 Thread Waldek Hebisch
is computed relative to total degree reverse lexicografic ordering, while your original code requested lexicographic ordering. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org

[Axiom-developer] Re: [fricas-devel] Re: Installation directory

2007-12-18 Thread Waldek Hebisch
Martin Rubey wrote: Waldek Hebisch [EMAIL PROTECTED] writes: The following patch changes installation directory from $PREFIX/lib/axiom to $PREFIX/lib/fricas and the name of installed binary from $PREFIX/bin/axiom to $PREFIX/bin/fricas. I think that we should do this change

[Axiom-developer] Re: mathml hex(10) patch

2007-12-16 Thread Waldek Hebisch
Arthur Ralfs wrote: From: Waldek Hebisch [EMAIL PROTECTED] You wrote: Tim, Waldek,brbrThis patch is a band-aid for the hex(10) bug. snip @@ -1285,6 +1307,10 @@     -- where it arises.  Removed 2007-02-14     concat(concat(mtext,str),/mtext)    -- if we get

Re: [Axiom-developer] bug 7016 mathml display of %%var is wrong

2007-12-05 Thread Waldek Hebisch
this is a literal string -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Re: Bug#407109: axiom: loops forever while )read'ing expression

2007-12-04 Thread Waldek Hebisch
Camm Maguire wrote: Greetings! Waldek Hebisch [EMAIL PROTECTED] writes: Now, one problem is that Axiom naively computes the sum. Another problem is that gcd computations take quite a lot of time (it seems that other systems can compute gcd 10-100 times faster). Does axiom use

Re: [Axiom-developer] Re: Bug#407109: axiom: loops forever while )read'ing expression

2007-12-03 Thread Waldek Hebisch
that the computation would finish (or run out of memory) in few days. Now, one problem is that Axiom naively computes the sum. Another problem is that gcd computations take quite a lot of time (it seems that other systems can compute gcd 10-100 times faster). -- Waldek

[Axiom-developer] Re: [fricas-devel] Axiom Wiki and Portal are moving

2007-11-01 Thread Waldek Hebisch
FriCAS bug tracker was created. Certainly, common bug tracker make sense only if one can restrict view so that only bugs reported against given fork are visible. Technically, this should be not a problem... -- Waldek Hebisch [EMAIL PROTECTED

Re: [Axiom-developer] [EMAIL PROTECTED]: Re: Installing axiom on suse linux 10.2]

2007-10-04 Thread Waldek Hebisch
-sandbox I worked around the problem by making sure that for user compiler::*default-system-p* is set to nil (it _must_ be set to t during build). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom

Re: [Axiom-developer] Axiom: Matrix manipulations

2007-10-04 Thread Waldek Hebisch
to the short row) I get rank 8 and [[0,0,0,0,0,0,0,1,0]] as nullSpace. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom

Re: [Axiom-developer] Axiom server

2007-09-16 Thread Waldek Hebisch
). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] numberOfEmptySlots

2007-09-15 Thread Waldek Hebisch
. In vmlisp.lisp we have: (defmacro ne (a b) `(not (equal ,a ,b))) so original meaning was (not (equal x cache)). Shoe changes NE to /= leading to error... -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list

Re: [Axiom-developer] numberOfEmptySlots

2007-09-15 Thread Waldek Hebisch
Gabriel Dos Reis wrote: On Sat, 15 Sep 2007, Waldek Hebisch wrote: | The problem is due to incomplete conversion form old Boot to Shoe. | Originally clam.boot was translated by old Boot and NE was passed | unmolested to Lisp output. In vmlisp.lisp we have: | | (defmacro ne (a b

Re: [Axiom-developer] 20070914.01.tpd.patch

2007-09-14 Thread Waldek Hebisch
*/ atexit(clean_socket); MenuServerOpened = 1; (with dead store eliminated). In other words, you unconditionally set MenuServerOpened to 1. I am not sure if this will show up in testing, but is clealy wrong. -- Waldek Hebisch [EMAIL PROTECTED

Re: [Axiom-developer] lisp - spad question

2007-09-12 Thread Waldek Hebisch
Lisp and a Lisper will still have trouble translating Spad syntax to Lisp. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom

Re: [Axiom-developer] Re: help function (Waldek Hebisch)

2007-09-05 Thread Waldek Hebisch
by need to have unevaluated argument). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] Re: [fricas-devel] umlaut in Guess - mailing list for algebra

2007-09-04 Thread Waldek Hebisch
encoding). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] problem compiling fricas

2007-08-26 Thread Waldek Hebisch
) it worked fine. PS: In general you should report FriCAS problems on fricas-devel mailing list. I send this message also to axiom-devel because the problem may affect all Axiom derivatives. -- Waldek Hebisch [EMAIL PROTECTED

[Axiom-developer] Meta parser

2007-08-24 Thread Waldek Hebisch
that differences between fnew.lisp fnewmeta.lisp are trivial (due to different Lisp printer). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo

Re: [Axiom-developer] typo in the guessing package pamphlet, was: Re: Algebra and literate documentation

2007-08-22 Thread Waldek Hebisch
have changed dom: to domain and pkg: to package, but I have missed a few places. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo

Re: [Axiom-developer] bootstrap Meta/Boot

2007-08-22 Thread Waldek Hebisch
. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] sequence

2007-08-06 Thread Waldek Hebisch
not notice it. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] i-output and decimal width

2007-08-06 Thread Waldek Hebisch
lengths if numerical result is suspect I use extra verification. - for large arguments I use over-estimate. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http

Re: [Axiom-developer] $SendXEventToHyperTeX

2007-08-06 Thread Waldek Hebisch
) Once of them must go. I suggest to remove the definition in hypertex.boot.pamphlet. We should remove version in hypertex.boot.pamphlet. However, AFAICS $SendXEventToHyperTeX and SendXEventToHyperTeX is unused so we could also remove both. -- Waldek Hebisch

Re: [Axiom-developer] LastCxArg

2007-08-06 Thread Waldek Hebisch
. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Re: How do I apply a patch?

2007-07-27 Thread Waldek Hebisch
that Axiom will remember your package. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Bug in GeneralizedMultivariateFactorize?

2007-07-20 Thread Waldek Hebisch
is IMHO a different operation than Axiom factor function. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Bug in GeneralizedMultivariateFactorize?

2007-07-19 Thread Waldek Hebisch
IntegralDomain. In GROEBSOL GeneralizedMultivariateFactorize is used for GcdDomain. My impression is that GROEBSOL works on best effort basis, so using squareFree may be reasonable here. -- Waldek Hebisch [EMAIL PROTECTED

Re: [Axiom-developer] Re: debugging

2007-07-17 Thread Waldek Hebisch
, and in general to limit dependency on GCL internals. I belive that currently almost all dependencies are conditional (otherwise sbcl/clisp port would not work). My intension is keep non-portable (using conditionals) code separately from the rest of Axiom. -- Waldek

Re: [Axiom-developer] Re: debugging

2007-07-17 Thread Waldek Hebisch
. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Re: debugging

2007-07-14 Thread Waldek Hebisch
Camm Maguire wrote: Waldek Hebisch [EMAIL PROTECTED] writes: I wrote: There are several functions involved. In case of #OBJNULL using traces I see that |compDefineCapsuleFunction| function (defined in 'define.boot.pamphlet') gets: 1 (|compDefineCapsuleFunction

Re: [Axiom-developer] Re: debugging

2007-07-13 Thread Waldek Hebisch
domain vector. So ATM it not clear if both failures are related. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 2.7 build

2007-07-13 Thread Waldek Hebisch
are just due to few bugs... I also re-tried build at safety 1: it fails early (more details in another mail). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http

Re: [Axiom-developer] Re: debugging

2007-07-13 Thread Waldek Hebisch
(|compElt| (|elt| $ (|Zero|)) |$EmptyMode| 3 (|compElt| ((|call| (XLAM |ignore| '#OBJNULL)) $ -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org

Re: [Axiom-developer] Re: debugging

2007-07-13 Thread Waldek Hebisch
. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 2.7 build

2007-07-12 Thread Waldek Hebisch
or something in gcl changed. But now I see: (DEFUN |ALIST;dictionary;$;1| ($) (SPADCALL NIL (QREFELT $ 11))) (the same as in other dialects), while earlier 2.7 gave me: (DEFUN |ALIST;dictionary;$;1| ($) (PROG () (RETURN (SPADCALL NIL (QREFELT $ 11) -- Waldek

Re: [Axiom-developer] 2.7 installation

2007-07-12 Thread Waldek Hebisch
Camm Maguire wrote: Greetings! My apologies -- obviously I'm testing with the source tree in place. It should be fixed now. Please let me know if problems persist. The latest cvs version installs fine. Thanks. -- Waldek Hebisch [EMAIL PROTECTED

Re: [Axiom-developer] 2.7 build

2007-07-12 Thread Waldek Hebisch
Greetings! Waldek Hebisch [EMAIL PROTECTED] writes: I am now testing yesterday gcl-cvs. I have set up safety to 3. I hit two problems. One is segfault -- it went away when I tried to debug it: )compile RADCAT.spad Segmentation violation: c stack ok:signalling error

Re: [Axiom-developer] Axiom, FriCAS, forks and teeth

2007-07-11 Thread Waldek Hebisch
to do with new code. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] FriCAS mailing list

2007-07-11 Thread Waldek Hebisch
text at SourceForge). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 2.7 installation

2007-07-11 Thread Waldek Hebisch
cmpnew pcl clcs) unixport/gcl.script install_command: rm -f bin/$(BINSCPT) -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo

Re: [Axiom-developer] Unions in Spad

2007-07-09 Thread Waldek Hebisch
this may matter: syntax errors frequently leave parser in a confused state, making hard to detect other errors. Also for users is seem easier to have simple syntax + set of semantic constraints than to encode constraints in syntax. -- Waldek Hebisch [EMAIL PROTECTED

Re: [Axiom-developer] Re: debugging

2007-07-08 Thread Waldek Hebisch
gcl-2.7.0 we get subtly different code, other Lisps (gcl 2.6.8, sbcl, clisp) just give: (DEFUN |DFLOAT;base;Pi;7| ($) (FLOAT-RADIX 0.0)) that is the outer PROG and RETURN are missing (I see this difference for many other functions). -- Waldek Hebisch [EMAIL

Re: [Axiom-developer] Re: debugging

2007-07-08 Thread Waldek Hebisch
tree and revision 636. -- Waldek Hebisch [EMAIL PROTECTED] Index: src/interp/spaderror.lisp.pamphlet === --- src/interp/spaderror.lisp.pamphlet (wersja 636) +++ src/interp/spaderror.lisp.pamphlet

Re: [Axiom-developer] Re: debugging

2007-07-07 Thread Waldek Hebisch
#+:GCL (eval-when @@ -148,7 +148,7 @@ (apply system:universal-error-handler type correctable? op continue-string error-string args ) - +|# -- Waldek Hebisch [EMAIL PROTECTED

[Axiom-developer] Re: FriCAS

2007-07-07 Thread Waldek Hebisch
layout. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] FriCAS started

2007-07-06 Thread Waldek Hebisch
know more distinction. Also, ATM I am not setting up a separate mailnig list -- let me know if you do not want FriCAS traffic on Axiom maining list. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list

[Axiom-developer] Re: defintrf.spad

2007-07-05 Thread Waldek Hebisch
Lisp code, the second works. It showed up first in sbcl port. This fix is due to Greg Vanuxem (as noted in the comment). -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http

Re: [Axiom-developer] Axiom and ANSI Lisp -- SBCL

2007-07-04 Thread Waldek Hebisch
. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] Re: directory/truename transition

2007-07-03 Thread Waldek Hebisch
invokes the 'cp' program) copy file (likewise) -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] Fork time

2007-06-29 Thread Waldek Hebisch
. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Fork time

2007-06-29 Thread Waldek Hebisch
that comunity needs clear situation. Otherwise inside we risk quarrels that make cooperation difficult and from outside project looks unfocused, which limits comunity growth. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom

Re: [Axiom-developer] A modest proposal

2007-06-28 Thread Waldek Hebisch
were making a release tarball now I would probably include gcl-2.6.8-pre inside and made it a default. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org

[Axiom-developer] Re: SBCL/wh-sandbox

2007-06-27 Thread Waldek Hebisch
be build are build already. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] A suggestion for Gold

2007-06-27 Thread Waldek Hebisch
I must say that I fully support William's proposal. In fact, he very much articulated pragmatic approach to Axiom developement that I tried to advocate. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing

[Axiom-developer] Axiom and GCL FFI

2007-06-27 Thread Waldek Hebisch
GCL constructs. The other operations may include dereferencing foreign pointers and block copy between foreign memory and Lisp. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer

[Axiom-developer] Re: Version numbers and merging improvements

2007-06-26 Thread Waldek Hebisch
instead of `pwd`/mnt/linux I would like to correct what I wrote above. I made a mistake and tried to build silver on machine where libXpm.a was not intalled. The build works when machine has libXpm.a installed (at least it worked on 64-bit gentoo). -- Waldek

[Axiom-developer] Dependencies

2007-06-26 Thread Waldek Hebisch
to hypertex program, interpeter and libspad. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 2.7.0 reports

2007-06-26 Thread Waldek Hebisch
newer gcl version from cvs, it failed exactly in the same place as previously. Following your advice I edited the problematic file and restarted the build. Log of build after restart is at: http://www.math.uni.wroc.pl/~hebisch/prog/mlogg2 -- Waldek Hebisch [EMAIL

[Axiom-developer] Re: *read-default-float-format* in SBCL/wh-sandbox

2007-06-26 Thread Waldek Hebisch
Le samedi 23 juin 2007 ? 21:08 +0200, Waldek Hebisch a écrit : Do you think we should set *read-default-float-format* to T? I must admit that in Lisp/boot sources I would prefer to explicitly specify double precision (when needed), while for Spad/input we are (or should be) using our

Re: [Axiom-developer] Re: Axiom version numbering

2007-06-25 Thread Waldek Hebisch
we could embed into Axiom the last ChangeLog entry (or even the whole ChangeLog if that is preferable), but I am not sure if we want this. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom

Re: [Axiom-developer] other diff-Naur changesets

2007-06-25 Thread Waldek Hebisch
separately about dependencies between various parts and possiblities to do merge in stages. However, my conclusion is that doing merge in stages requires much extra work and there is good chance that intermediate stages will be more or less broken. -- Waldek Hebisch

Re: [Axiom-developer] Axiom under Windows

2007-06-25 Thread Waldek Hebisch
Gregory Vanuxem wrote: Le dimanche 24 juin 2007 ? 14:03 +0200, Waldek Hebisch a écrit : Concerning writablep: I looked at your code. But AFAICS we would need a separate version for each Lisp system. And the code is actually more complicated than C version. So I think it is better

Re: [Axiom-developer] 2.7.0 reports

2007-06-25 Thread Waldek Hebisch
,loc3=#compiled-function compile-file} [ihs=2] BOOT -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 2.7.0 reports

2007-06-25 Thread Waldek Hebisch
://www.math.uni.wroc.pl/~hebisch/prog/clogg The build log is at: http://www.math.uni.wroc.pl/~hebisch/prog/mlogg The machine is 64-bit dual core Pentium D 805 running Debian etch. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom

Re: [Axiom-developer] Axiom under Windows

2007-06-24 Thread Waldek Hebisch
Greg, thanks for your comments, they are very helpful. Gregory Vanuxem wrote: Le mardi 12 juin 2007 ? 14:54 +0200, Waldek Hebisch a écrit : Could you be more specific about file handling in Windows SBCL? AFAIK makedir is problematic (but I hoped that it would work if you have mkdir

Re: [Axiom-developer] 2.7.0 reports

2007-06-24 Thread Waldek Hebisch
pcl::caching-miss pcl::invoke-emf simple-condition-format-control pcl::accessor-miss pcl::update-dfun PCL::FREE-CACHE Newly traced functions: NIL I will try '--enable-debug'... -- Waldek Hebisch [EMAIL PROTECTED

Re: [Axiom-developer] 2.7.0 reports

2007-06-24 Thread Waldek Hebisch
, no .c file). BTW: it looks that at that stage I have 167 gazonk* files in the /tmp directory -- it looks that gcl is leaving trash files there. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom

[Axiom-developer] Re: *read-default-float-format* in SBCL/wh-sandbox

2007-06-23 Thread Waldek Hebisch
compilation/loading it is not enough to set *load-verbose* and *compile-verbose* to nil. One also have to handle various conditions (see for example |load_quietly| in axiom-lisp.lisp.pamphlet). -- Waldek Hebisch [EMAIL PROTECTED

  1   2   3   4   5   6   >