Changes http://wiki.axiom-developer.org/269SomeIssuesWithTheFactoredDomain/diff
--
??changed:
-The documentation says:
-
-Others, like addition require somewhat more work, and unless the argument
domain provides a factor function, the result may not be completely factored.
The documentation says:
Changes http://wiki.axiom-developer.org/269SomeIssuesWithTheFactoredDomain/diff
--
Consider the following:
\begin{axiom}
q:FR POLY INT := (x-1)*(x^2+1)
p:FR POLY INT := (x-1)*(2*x)
p+q
)tr MULTFACT )ma
factor(p+q)
\end{axiom}
The documentation says:
Others, like addition require somewhat more wor
Changes http://wiki.axiom-developer.org/AxiomOutputFormatting/diff
--
??changed:
-
-From kratt6 Fri Dec 9 06:09:28 -0600 2005
-From: kratt6
-Date: Fri, 09 Dec 2005 06:09:28 -0600
-Subject:
-Message-ID: <[EMAIL PROTECTED]>
-
-You have to say
In this particular case you have to say
++added:
Changes http://wiki.axiom-developer.org/Fraction/diff
--
??changed:
-i : MyInteger := 1
-r0: MyRational := 1
-r1: MyRational1 := 1
-r2: MyRational2 := 1
i : MyInteger := 1$MyInteger
)sh MyRational
r0: MyRational := 1$MyRational
r1: MyRational1 := 1$MyRational1
r2: MyRational2 := 1$MyRational
Changes http://wiki.axiom-developer.org/Fraction/diff
--
I think that you are both right with the place where you put your comment and
with your comment itself. Only: I suggest that you don't use !\begin{axiom} and
\end{axiom} to comment code, it get's all compiled :-) Although it looks very
nic
Changes
http://wiki.axiom-developer.org/263ContinuedFractionReturnsIncorrectTypes/diff
--
Thinking about it, I realized that this is not the proper solution, since
'Fraction R' provides some operations, for example 'denominator' which 'R' does
not necessarily have and I think it would be wrong t
Changes http://wiki.axiom-developer.org/261StrangeMatrixAddition/diff
--
It is true that Axioms interpreter and compiler apply (slightly) different
semantics. However, it seems to me that if code compiles with spad, then it
should return the same result when interpreted.
I'm quite sure that this
Changes
http://wiki.axiom-developer.org/263ContinuedFractionReturnsIncorrectTypes/diff
--
++added:
(note that there is no output...)
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer
Changes
http://wiki.axiom-developer.org/263ContinuedFractionReturnsIncorrectTypes/diff
--
Well, this is a general problem: when a constructor takes a parameter 'R', it
is often natural to return something of type 'Fraction R'. I see two possible
solutions:
- 'Fraction R' returns 'R' when 'R' is
Changes http://wiki.axiom-developer.org/262LocalVariablesInOutput/diff
--
These names are not really temporary:
\begin{axiom}
definingPolynomial %x0
\end{axiom}
(However, I think they should be...)
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
_
Changes http://wiki.axiom-developer.org/261StrangeMatrixAddition/diff
--
Category: Axiom Library => Axiom Interpreter
Status: open => closed
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-de
Changes
http://wiki.axiom-developer.org/258RectangularMatrixCategoryShouldHaveFiniteWhenThisIsTheCase/diff
--
Currently:
\begin{axiom}
SquareMatrix(2, PF 5) has Finite
\end{axiom}
It is straightforward to implement this, though. The appropriate category would
be 'RectangularMatrixCategory' in '
Changes http://wiki.axiom-developer.org/253FactorReturnsWrongResult/diff
--
??changed:
-s :=x^2-sqrt(2)*sqrt(3)*sqrt(6)/6
s :=x^2-sqrt(2)*sqrt(3)*sqrt(6)
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing l
Changes http://wiki.axiom-developer.org/254FactorANDoesntFactorX22/diff
--
I think that this is also a bug:
\begin{axiom}
factor(x^2-2::POLY AN)
\end{axiom}
I'd expect $(x-\sqrt{2})(x+\sqrt{2})$.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
Changes http://wiki.axiom-developer.org/253FactorReturnsWrongResult/diff
--
In fact, the problem shows already with
\begin{axiom}
s :=x^2-sqrt(2)*sqrt(3)*sqrt(6)/6
\end{axiom}
and it seems to occur in 'InnerAlgFactor':
\begin{axiom}
)tr InnerAlgFactor )ma
factor(s)
\end{axiom}
--
forwarded fro
Changes http://wiki.axiom-developer.org/253FactorReturnsWrongResult/diff
--
--removed:
-t:=6*t
--removed:
-factor t
-factor(6*t)
++added:
There are several things to notice, in fact:
- The factorisation is nonsense
- I think that AlgebraicNumber should be able to simplify
$\sqrt{2}\sqrt{3}\s
Changes http://wiki.axiom-developer.org/253FactorReturnsWrongResult/diff
--
I just ran across the following astonishing bug:
\begin{axiom}
s
:=-x^3+1/6*(-2*sqrt(6)+2*sqrt(3)+3*sqrt(2))*x^2+1/6*((sqrt(3)+sqrt(2))*sqrt(6)-2*sqrt(2)*sqrt(3))*x-sqrt(2)*sqrt(3)*sqrt(6)/6
t:=6*t
factor s
factor t
facto
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
Martin Rubey
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-develop
Changes
http://wiki.axiom-developer.org/247EditingPamphletDoesNotUpdatePngImageOfFirstPage/diff
--
See title...
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists
Changes http://wiki.axiom-developer.org/DoyenCD/diff
--
??changed:
-In the first screen, you will be presesented with some bootoptions. Press
Enter to continue.
In the first screen, you will be presented with some bootoptions. Press Enter
to continue.
??changed:
-In the language selection, sele
Changes http://wiki.axiom-developer.org/240AnotherLimitFailure/diff
--
\begin{axiom}
limit(sin(x)-sin(x-1/x),x=%plusInfinity)
\end{axiom}
should be zero...
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailin
Changes
http://wiki.axiom-developer.org/239AlgebraDoesNotHaveCharacteristicNonZeroButTheBookSaysSo/diff
--
There is link connecting 'Algebra' and 'CharacteristicNonZero' in the endpaper
diagram, but there shouldn't be.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
Changes http://wiki.axiom-developer.org/FrontPage/diff
--
++added:
"Programming":AxiomProgramming
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org
Changes http://wiki.axiom-developer.org/AxiomProgramming/diff
--
Axiom's programming languages
At first it might be confusing: So many programming languages to choose from.
There is Lisp, Boot, Spad, Aldor and even more. So what do I really need to
learn?
Lisp
to learn programming itse
Changes http://wiki.axiom-developer.org/225SeriesExamplesImprovementIdea/diff
--
Status: open => closed
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu
Changes http://wiki.axiom-developer.org/BuildAxiom/diff
--
??changed:
-See deteails instructions at ArchUsage
See details instructions at ArchUsage
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing
Changes http://wiki.axiom-developer.org/BuildAxiom/diff
--
??changed:
-For those who want to get the lastest set of mistakes see AxiomDevelopment
For those who want to get the latest set of mistakes see AxiomDevelopment
--removed:
-
-From unknown Tue Dec 13 10:30:35 -0600 2005
-From: unknown
-Dat
Changes http://wiki.axiom-developer.org/Aldor/diff
--
??changed:
-Over View
Overview
--removed:
-From unknown Tue Dec 13 09:51:07 -0600 2005
-From: unknown
-Date: Tue, 13 Dec 2005 09:51:07 -0600
-Subject: correction
-Message-ID: <[EMAIL PROTECTED]>
-
-Over View -> Overview
--
forwarded from http
Changes http://wiki.axiom-developer.org/FrontPage/diff
--
??changed:
-Welcome to "Axiom":AboutAxiom!
Welcome to "Axiom":AboutAxiom!
??changed:
- provides a very high level way to express abstract mathematical concepts
provides a very high-level way to express abstract mathematical concepts
??
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain 'SandBoxDistributedExpression' is
probably
??changed:
-)abb domain DEXPR DistributedExpressi
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain '[SandBox DistributedExpression]' is
probably
??changed:
-)abb domain DEXPR DistributedExpre
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain '[SandBox DistributedExpression]' is
probably
??changed:
-)abb domain DEXPR DistributedExpre
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain 'SandBoxDistributedExpression' is
probably
??changed:
-)abb domain DEXPR DistributedExpressi
Changes http://wiki.axiom-developer.org/237FailsToDisplayProperTeX/diff
--
My TeX does not complain (and displays it correctly)
\begin{axiom}
solve([x^2 + y^2 - 2*(ax*x + ay*y) = l1, x^2 + y^2 - 2*(cx*x + cy*y) =
l2],[x,y])
\end{axiom}
Martin
--
forwarded from http://wiki.axiom-developer.org/[EM
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain 'SandBoxDistributedExpression' is
probably
??changed:
-)abb domain DEXPR DistributedExpressi
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
This page was renamed from SandBox Distributed Expression to
DistributedExpression.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing l
Changes http://wiki.axiom-developer.org/AxiomProblems/diff
--
++added:
- changing "how expressions are displayed":AxiomOutputFormatting
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-develop
Changes http://wiki.axiom-developer.org/AxiomOutputFormatting/diff
--
You have to say
\begin{axiom}
1/2 - exp(-t) :: EXPR FRAC INT
\end{axiom}
since you have an expression here, not a polynomial.
In general, to modify the way Axiom outputs your expressions, you have to write
a wrapper domain tha
Changes http://page.axiom-developer.org/zope/mathaction/WishList/diff
--
??changed:
- According to the Free Software Foundation, Scilab is not a free software.
- See http://www.fsf.org/licenses/license-list.html#NonFreeSoftwareLicense.
- According to the Free Software Foundation, Scil
Changes
http://wiki.axiom-developer.org/219TheInterpreterDoesNotUnderstandDependendTypes/diff
--
Note that with Peter''s patches the error message 'System Error: Unfortunate
use of dependant type' is directly triggered by the code produced by aldor. In
the lisp file, there line 201 reads::
Changes
http://page.axiom-developer.org/zope/mathaction/227RandomIntegerIsAStrangeFunction/diff
--
I am proposing to keep 'random()' only for finite sets. In this case it should
return a random element uniformly chosen from all elements.
For infinite sets, we have - or should have - functions whi
Changes http://page.axiom-developer.org/zope/mathaction/FrontPage/diff
--
--removed:
-
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.
Changes http://wiki.axiom-developer.org/227RandomIntegerIsAStrangeFunction/diff
--
I disagree:
- 'random()' has meaning only if I specify a distribution. If no distribution
is
specified, usually the uniform distribution is taken. There is no uniform
distribution
on the integers, nor on th
Changes http://wiki.axiom-developer.org/227RandomIntegerIsAStrangeFunction/diff
--
Using browse I found that 'random()' is implemented only for three types:
- 'QuotientFieldCategory' if has 'IntegerNumberSystem'
- 'IntegerNumberSystem'
- 'Finite'
I think the first two should go away, since,
Changes
http://wiki.axiom-developer.org/232TraceCausesBindStackOverflowFromErroneousInput/diff
--
Unfortunately, it is currently impossible to ')tr EXPR )ma', a bind stack
overflow results always. Somehow, an infinite loop is created - probably for
the output routines...
Martin
--
forwarded fro
Changes http://wiki.axiom-developer.org/231SimplifyWorkingOnMatrices/diff
--
Status: open => closed
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org
Changes http://page.axiom-developer.org/zope/mathaction/WishList/diff
--
??changed:
- This item relates to Bug #234. The LIMITPS package is outdated. We should
implement
This item relates to Bug #234. The 'LIMITPS' package is outdated. We should
implement
--
forwarded from http://page.axiom-
Changes http://page.axiom-developer.org/zope/mathaction/WishList/diff
--
??changed:
- The LIMITPS package is outdated. We should implement the MRV algorithm
described in
This item relates to Bug #234. The LIMITPS package is outdated. We should
implement
the MRV algorithm described in
--rem
Changes http://page.axiom-developer.org/zope/mathaction/WishList/diff
--
++added:
David Mentré added:
I believe there's a better, faster, more complete choice than Octave. It is
called
Scilab, and it was developed by the French INRIA (Institute Nationale De
Recherche en
Informatique et
Changes http://page.axiom-developer.org/zope/mathaction/ProgrammingAxiom/diff
--
??changed:
-There has been quite a lot of
There has been quite a lot of
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-de
it for additional instructions.
-
--removed:
-From kratt6 Sun Sep 12 13:17:57 -0500 2004
-From: kratt6
-Date: Sun, 12 Sep 2004 13:17:57 -0500
-Subject: Summarize discussion
-Message-ID: <[EMAIL PROTECTED]>
-
-Would be great if somebody could summarize the discussion on
-axiom-developer. There is stu
Changes
http://page.axiom-developer.org/zope/mathaction/AxiomDocumentationAndCommunity/diff
--
This page was deleted.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@
Changes http://page.axiom-developer.org/zope/mathaction/DebuggingAxiom/diff
--
??changed:
-Fortunately, Axiom is rather easy to debug. Most of the source is very
transparent, so once you have localized the bug there are mostly
-"design issues":DesignIssues to overcome. However, to find out which
Changes http://page.axiom-developer.org/zope/mathaction/HyperDocTracing/diff
--
The Trace Facility
Axiom contains some powerful commands to help with testing and
debugging library modules written in Spad and also the Axiom system
itself. The most important of these commands is ')trace'.
This co
Changes http://page.axiom-developer.org/zope/mathaction/ExampleSolution/diff
--
This page was deleted.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http:
Changes http://page.axiom-developer.org/zope/mathaction/AxiomDocumentation/diff
--
??changed:
-The [Axiom Book]
The Axiom Book
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-d
Changes http://page.axiom-developer.org/zope/mathaction/AxiomDocumentation/diff
--
??changed:
-"online":/Mirrors?go=/public/book2.pdf&it=Axiom+Book
"online":Mirrors?go=/public/book2.pdf&it=Axiom+Book
??changed:
-A project to publish a printed version the [Axiom Book] with
A project to publish a "
Changes http://page.axiom-developer.org/zope/mathaction/FAQ/diff
--
This page was deleted.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nong
Changes http://page.axiom-developer.org/zope/mathaction/AxiomProblems/diff
--
--removed:
-- [efficiency problem]
-
??changed:
-
- [Computing with Vectors]
- Rules for [simplifying Expressions]
- [Graphics on MathAction]
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL P
Changes
http://page.axiom-developer.org/zope/mathaction/GraphicsOnMathAction/diff
--
Graphics?
Try this
\begin{axiom}
draw(5*besselJ(0,sqrt(x**2+y**2)), x=-20..20, y=-20..20)
\end{axiom}
*Not clear why latex is not rendered properly ... *
The reason why this did not originally render properl
Changes
http://page.axiom-developer.org/zope/mathaction/SimplifyingExpressions/diff
--
Simplification of Expressions
Suppose we compute
\begin{axiom}
integrate(exp(-x**2/2)/sqrt(2*%pi),x=%minusInfinity..%plusInfinity)
\end{axiom}
*And now I wonder why common factors are not cancelled and why
Changes http://page.axiom-developer.org/zope/mathaction/RealClosure/diff
--
++added:
"Here":EfficiencyProblem is an example of it's usage.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing
Changes
http://page.axiom-developer.org/zope/mathaction/ComputingWithVectors/diff
--
How to multiply two vectors??
Multiplication element by element:
*Vanuxem Grégory replies:*
\begin{axiom}
a:= vector [1,2,3,5,6]
map(*,a,a)
\end{axiom}
otherwise use Matrix:
\begin{axiom}
a:= matrix [[1,2,3,
Changes
http://page.axiom-developer.org/zope/mathaction/93ConfusingAmountOfInformationOnAxiomBeginnersIssue/diff
--
??changed:
-If you are wondering what http://page.axiom-developer.org/zope/Plone is about,
I recently added some explanation at [the Axiom Community].
If you are wondering what htt
Changes http://page.axiom-developer.org/zope/mathaction/AxiomCommunity/diff
--
This page was renamed from the Axiom Community to AxiomCommunity.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mai
Changes http://page.axiom-developer.org/zope/mathaction/FrontPage/diff
--
??changed:
-Join the "Axiom Community":theAxiomCommunity and keep up to date with "our
newsfeed":MathActionRSS
Join the [Axiom Community] and keep up to date with "our newsfeed":MathActionRSS
--
forwarded from http://page.
Changes http://page.axiom-developer.org/zope/mathaction/TheAxiomCommunity/diff
--
This page was deleted.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
htt
Changes http://page.axiom-developer.org/zope/mathaction/FrontPage/diff
--
??changed:
-Welcome to Axiom!
Welcome to "Axiom":AboutAxiom!
??changed:
- systems. Currently you can use both Axiom and Reduce on this web site
systems. Currently you can use both "Axiom":AboutAxiom and
"Reduce":ReduceW
Changes http://wiki.axiom-developer.org/227RandomIntegerIsAStrangeFunction/diff
--
??changed:
-After a grep I found the definition for 'random()$INT' in
interp/spad.boot.pamphlet:
-
-(defun |random| () (random (expt 2 26)))
After a grep I found the definition for 'random()$INT' in
interp/spad.bo
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff
--
++added:
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff
--
It *should* work, given that the compiler does not stumble over some bug.
However, I don't think it is the right direction to take anyway:
- The bugs mentioned here won't go away, since you would have to provide
Changes http://wiki.axiom-developer.org/69Sqrt1AbsX1SqrtAbsX/diff
--
Just for the archive, here is the patch::
--- /home/rubey/axiom/mnt/linux/src/algebra/algfunc.spad 2004-05-21
18:51:30.0 +0200
+++ algfunc.spad 2004-05-25 13:39:19.0 +0200
@@ -431,9 +431,20 @@
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff
--
??changed:
-"append"/[solve1Sys(plist, lvar) for plist in trianglist]
-
"append"/[solve1Sys(plist, lvar) for plist in trianglist]
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTE
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff
--
What it does is easily explained: '"foo"/l' maps the function 'foo' over the
list 'l'. However, it appears that it doesn't use reduce but rather some lisp
primitive. It is hard to trace, since it doesn't work in t
Changes
http://page.axiom-developer.org/zope/mathaction/221PIDoesNotHaveOASGP/diff
--
Strange enough, the current definitions of 'OrderedAbelianSemiGroup' and
'OrderedAbelianMonoid' coincide::
)abbrev category OASGP OrderedAbelianSemiGroup
++ Ordered sets which are also abelian semigroups, s
Changes
http://page.axiom-developer.org/zope/mathaction/220StepThroughIsBraindead/diff
--
The 'StepThrough' category provides a function 'init()' which yields an initial
element of the domain and a function 'nextItem(n)' which produces the element
after 'n', or '"failed"' if there is no such ele
Changes
http://page.axiom-developer.org/zope/mathaction/219TheInterpreterDoesNotUnderstandDependendTypes/diff
--
Severity: normal => wishlist
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mail
Changes
http://page.axiom-developer.org/zope/mathaction/219TheInterpreterDoesNotUnderstandDependendTypes/diff
--
??changed:
-
The following Aldor construct does not yet work in Axiom.
This is in fact the reason why I would love to have Aldor working. I did not
expect it to work, and it does not
Changes http://page.axiom-developer.org/zope/mathaction/AldorForAxiom/diff
--
??changed:
- On Tue, 11 Jan 2005 15:43:53 +0100 **Martin Rubey** wrote:
-
-The following Aldor construct does not yet work in Axiom.
-
-I just tried another example, which is in fact the reason why
-I would love to have
Changes http://wiki.axiom-developer.org/217SevereCompilerError/diff
--
Severity: critical => minor
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/
Changes http://wiki.axiom-developer.org/217SevereCompilerError/diff
--
If we issue the ')lib' command before defining any variables, the problem goes
away. Hence, it is rather an inconvenience. Still, I have the feeling that
there might be some bad surprise lurking around...
Martin
--
forwarded
Changes http://wiki.axiom-developer.org/217SevereCompilerError/diff
--
??changed:
-I'm afraid I found my first severe compiler error. Unfortunately, I do not
know yet how to workaround. I cannot even see how to localize it. I put an
example on SandBox3, but I'll try to reproduce it here.
I'm afr
Changes
http://page.axiom-developer.org/zope/mathaction/217SevereCompilerError/diff
--
I'm afraid I found my first severe compiler error. Unfortunately, I do not know
yet how to workaround. I cannot even see how to localize it. I put an example
on SandBox3, but I'll try to reproduce it here.
--
Changes
http://wiki.axiom-developer.org/216TerminatingConditionForNextSubsetGrayIncorrectlyDocumented/diff
--
--removed:
-perman.spad.pamphlet.patch
-
--removed:
-
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-develop
Changes
http://page.axiom-developer.org/zope/mathaction/216TerminatingConditionForNextSubsetGrayIncorrectlyDocumented/diff
--
The documentation of 'GRAY' incorrectly states that
'vv.2.1 = n' means that 'vv.1' is the last subset.
It should read 'n+1'. Here is a patch:
--
forwarded from http://pag
Changes
http://wiki.axiom-developer.org/216TerminatingConditionForNextSubsetGrayIncorrectlyDocumented/diff
--
++added:
perman.spad.pamphlet.patch
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axi
Changes http://wiki.axiom-developer.org/214LimitOnProductsAndSums/diff
--
It should be possible to teach Axiom to distribute limits through sums and
products as in
\begin{axiom}
limit(product((1-q^(N-i))/(1-q^(m-i)),i=0..m-1),q=1)
\end{axiom}
However, it is not clear to me where this should be do
Changes
http://wiki.axiom-developer.org/213NoEqualityOfOperatorsWhichUseDummyVariables/diff
--
Status: open => fix proposed
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.or
Changes
http://wiki.axiom-developer.org/213NoEqualityOfOperatorsWhichUseDummyVariables/diff
--
Another fix that was not too difficult. Fortunately, there is a property
'%specialEqual' just intended for this purpose...
combfunc.spad.pamphlet.patch
--
forwarded from http://wiki.axiom-developer.org
Changes
http://wiki.axiom-developer.org/211ProductsAreDifferentiatedIncorrectly/diff
--
Fortunately, a fix is quite easy, since we know how to differentiate products
according to Leibniz rule: Here is a patch to 'combfunc.spad.pamphlet' that
also fixes some leftover problems with differentiating
Changes
http://wiki.axiom-developer.org/211ProductsAreDifferentiatedIncorrectly/diff
--
Status: open => fix proposed
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http:
Changes
http://wiki.axiom-developer.org/212SubstitutingForAnOperatorInASumDoesNotApplyTheSummationAlgorithms/diff
--
Category: => Axiom Library
Severity: => serious
Status: => open
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
Changes
http://wiki.axiom-developer.org/176FactoredPolynomialsArentDifferentiatedCorrectly/diff
--
Status: fix proposed => closed
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@non
Changes
http://page.axiom-developer.org/zope/mathaction/213NoEqualityOfOperatorsWhichUseDummyVariables/diff
--
Unfortunately, axiom fails to recognize equality of some expressions like in
\begin{axiom}
x:=sum(1/i,i=1..m)/sum(1/i,i=1..m)
\end{axiom}
The reason is that the internal representation i
Changes
http://wiki.axiom-developer.org/180Bug9216DifferentiatingSumsWithRespectToABoundIsWrong/diff
--
Status: fix proposed => closed
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-develope
Changes http://wiki.axiom-developer.org/97MatchNotWorking/diff
--
Status: fix proposed => closed
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/ma
Changes
http://page.axiom-developer.org/zope/mathaction/211ProductsAreDifferentiatedIncorrectly/diff
--
\begin{axiom}
D(product((1-q^(n-i))/(1-q^(m-i)),i=0..m-1),q)
f:=operator 'f;
D(product(f(i,q),i=0..m),q)
\end{axiom}
I'll try to correct this tomorrow...
Martin
--
forwarded from http://page.a
Changes
http://page.axiom-developer.org/zope/mathaction/207CertainLimitFailure/diff
--
Consider the following two expressions:
\begin{axiom}
exa:=integrate(log(1/x)/x^a,x)
exb:=integrate(log(1/x)*x^b,x)
\end{axiom}
which are equivalent by setting $a=-b$.
However, the operation 'limit' doesn't lik
Changes http://wiki.axiom-developer.org/205HyperdocDoesNotWorkInPatch44/diff
--
++added:
AXIOM Computer Algebra System
Version: Axiom 3.9 (September 2005)
Timestamp: Thursday September 1, 2005 at 14:41:01
---
Changes
http://page.axiom-developer.org/zope/mathaction/205HyperdocDoesNotWorkInPatch44/diff
--
In patch 44 I get the following after starting axiom::
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-develo
1 - 100 of 207 matches
Mail list logo
