Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff
--
??changed:
-See: http://encyclopedia.laborlawtalk.com/Real_number
See: http://en.wikipedia.org/wiki/Real_number
??changed:
-See: http://encyclopedia.laborlawtalk.com/Computable_number
See: http://en.wikipedia.org/wiki/Com
Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff
--
++added:
>From wyscc Wed Jun 15 01:36:00 -4:00
Bill, thanks for creating this page. I enjoyed reading the links and was
wondering how a site on labor laws need to know the foundations of mathematics.
Actually, they ga
On Tuesday, June 14, 2005 11:52 PM Tim Daly wrote:
> > > \spadcommand{x:=2}\bound{x}
> > > \spadcommand{y:=3}\bound{y}
> > > \spadcommand{x*y}\free{x}\free{y}
> > >
> > > clicking on the third expression tells the browser that it needs to
> > > find a meaning for x and a meaning for y somewhere
On Wednesday, June 15, 2005 12:01 AM Tim Daly wrote:
>
> {x:=2}
> {y:=3}
> {x*y}
>
> requires a huge program to parse (DOM or SAX, callbacks) vs
No. This syntax can be easily described as a regular expression
that in principle requires nothing more complex than a simple
finite state machine to
see http://cch.loria.fr/documentation/IEEE754
in particular see William Kahan and IEEE 754. William (Velvel aka Wolf) Kahan
is the curmudgeon of floating point "real" numbers.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists
Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff
--
??changed:
-
Computable Numbers
In mathematics, theoretical computer science and mathematical logic,
the computable numbers, also known as the recursive numbers, are the
subset of the real numbers consisting of the numb
There is a mathematics subject classification scheme list at
http://www.ams.org/msc
and it appears to be used at
http://www.math-atlas.org
An interesting project would be to classify Axiom's math algorithms
relative to this scheme.
t
___
Axiom-develo
Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff
--
++added:
Real Numbers
In mathematics, the real numbers are intuitively defined as numbers
that are in one-to-one correspondence with the points on an infinite
line—the number line. The term "real number" is a retronym c
Changes
http://page.axiom-developer.org/zope/mathaction/MathematicalAlgorithms/diff
--
Computer algebra systems like Axiom implement a very large number of
[mathematical algorithms]. By that we mean:
_math·e·mat·i·cal (măth'ə-măt'ĭ-kəl)_
adj.
1 Of or relating to mathematics.
2 Meaning
a Pre
Changes
http://page.axiom-developer.org/zope/mathaction/MathematicalAlgorithms/diff
--
??changed:
-_math·e·mat·i·cal (măth'ə-măt'ĭ-kəl)_
-
-adj.
math·e·mat·i·cal (măth'ə-măt'ĭ-kəl)
adj.
??changed:
-_al·go·rithm (ăl'gə-rĭTH'əm)_
-
-n.
al·go·rithm (ăl'gə-rĭTH'əm)
n.
--
forwarded from http:/
Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff
--
++added:
This subject was discussed in issue #167 Infinite Floats Domain
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-develo
Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff
--
Axiom implements the number domains Integer, Float and even
Fraction(Integer) i.e. rational numbers, but it does not
implement anything called Real numbers. *Why is that?*
--
forwarded from http://page.axiom-developer.org/
Changes http://page.axiom-developer.org/zope/mathaction/FrontPage/diff
--
??changed:
- research and development of mathematical algorithms. The [Axiom Language]
research and development of [mathematical algorithms]. The [Axiom Language]
--
forwarded from http://page.axiom-developer.org/zope/ma
> > \spadcommand{x:=2}\bound{x}
> > \spadcommand{y:=3}\bound{y}
> > \spadcommand{x*y}\free{x}\free{y}
> >
> > clicking on the third expression tells the browser that it needs to
> > find a meaning for x and a meaning for y somewhere prior in the page.
> > these are determined by the \bound expre
{x:=2}
{y:=3}
{x*y}
requires a huge program to parse (DOM or SAX, callbacks) vs
(spadcommand "x:=2" (bound 'x))
(spadcommand "y:=3" (bound 'y))
(spadcommand "x*y" (free '(x y)))
requires (read) to parse and (eval (read)) to execute.
(defun spadcommand (expr bindings)
(when (eq (car bindings)
Changes
http://page.axiom-developer.org/zope/mathaction/167InfiniteFloatsDomain/diff
--
William, thank you very much for your comments on this issue.
Your presentation above is very instructive and useful to me.
I agree completely with your statements about the relevance of
> infinite sequences o
Changes
http://page.axiom-developer.org/zope/mathaction/167InfiniteFloatsDomain/diff
--
??changed:
-In fact I think this subject, on the boarder between symbolic
In fact I think this subject, on the border between symbolic
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL
On Tuesday, June 14, 2005 9:54 PM Tim Daly wrote:
> having lost a year of my life working with XML, XSLT, DOM, SAX,
> JDOM, etc. i can honestly say that i'm religiously opposed to XML.
>
> you're welcome to try to convince me otherwise but i warn you that
> it is a hard fight as i have a lot of re
having lost a year of my life working with XML, XSLT, DOM, SAX, JDOM, etc.
i can honestly say that i'm religiously opposed to XML.
you're welcome to try to convince me otherwise but i warn you that it
is a hard fight as i have a lot of really bad war stories. XML is a
dead-end technology. it is th
Changes
http://page.axiom-developer.org/zope/mathaction/167InfiniteFloatsDomain/diff
--
++added:
>From William Sit, Tuesday June 14 20:06:00 -4:00
Subject: Float, Real, RealClosure
Tim wrote:
>This raises the same kind of implementation issue that indefinite computation
>raises except that i
Changes
http://page.axiom-developer.org/zope/mathaction/EnhancedFractionDomain/diff
--
This is correct -- equivalent being committed to CVS head.
Take care,
Camm Maguire[EMAIL PROTECTED]
==
21 matches
Mail list logo