This reminds me of my Real Analysis class: where I took too drawing Venn
diagrams on butcher paper to keep track of the subordinations and
properties. A case where you wished the number of Theorems outnumbered
the number of Definitions:) It did help me to keep the structures in
mind and I
n.
George Santayana:Interpretations of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
Great! Actually this list makes a great dictionary for me :)
Might I suggest opening an axiom-developer forum where discussions about
different categories, proofs, and typos can be addressed
individually? And perhaps a prefered format for the signatures along
the ideas of
of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
is my hero in math :):) Someone I appreciate more and more.
--
Two views on life:
life is an art not to be learned by observation.
George Santayana:Interpretations of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom
://lists.nongnu.org/mailman/listinfo/axiom-developer
--
Two views on life:
life is an art not to be learned by observation.
George Santayana:Interpretations of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom-developer
to participate in your life
Raymond Rogers
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
not to be learned by observation.
George Santayana:Interpretations of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom
.
Ray
--
Two views on life:
life is an art not to be learned by observation.
George Santayana:Interpretations of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom-developer mailing list
Axiom-developer
once the style is visible.
Ray
--
Two views on life:
life is an art not to be learned by observation.
George Santayana:Interpretations of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom-developer mailing list
in your life
Raymond Rogers
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
views on life:
life is an art not to be learned by observation.
George Santayana:Interpretations of Poetry and Religion
It's kinda nice to participate in your life
Raymond Rogers
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https
On 12/29/2014 04:05 PM, Bill Page wrote:
Axiom - One developer - when he goes Axiom goes.
I think that you are probably right here that when he goes the
[original] Axiom project goes. I am not aware of anyone motivated to
continue the work in the direction that Tim Daly has taken it.
I'm
On 12/12/2014 10:57 PM, d...@axiom-developer.org wrote:
The axiom command has a '-ws' (workspace) argument which will
re-activate a session saved with )savesystem. The default path
is $AXIOM/bin so given
axiom
(1) - t1:=4
(2) - )savesystem foo
Then
axiom -ws foo
will look for
in front.
Ray
Summary
Computer
Processor 2x AMD A4-3400 APU with Radeon(tm) HD Graphics
Memory 12285MB (2079MB used)
Operating SystemUbuntu 14.04.1 LTS
User Name rrogers (Raymond Rogers)
Date/Time Sat 13 Dec 2014 02:50:59 PM EST
Operating System
Version
Kernel Linux 3.13.0
On 11/22/2014 09:47 AM, Waldek Hebisch wrote:
Tim Daly wrote:
Question from Thomas Baruchel
integrate((16*x^14-125*x^10+150*x^6+375*x^2)/(256*x^16+480*x^12+1025*x^8+750*x^4
+625),x=0..1)
5
(1) --
77
Type: Union(f1:
I can't find it online except for ACM who would charge for Babbage's papers.
Ray
On 10/22/2014 01:14 PM, d...@axiom-developer.org wrote:
CHARYBDIS: A LISP program to dispaly mathematical expressions
on typewriter-like device
--
The primary use of conversation is to satisfy the
programs. But I have a penchant for
simplicity.
Ray
On 10/21/2014 11:27 AM, Ralf Hemmecke wrote:
On 10/21/2014 04:39 PM, Raymond Rogers wrote:
Let's think about this.
I think the question can be interpreted as a formating/display problem
for the underlying code.
If you believe so... Let me
Tim,
Yes I learned some time ago that maintenance can be devastating. I
am a little at odds
with your theory but not too much; and I will try to conform to your
styles. Along that
vein: can you point me to the current tools you recommend and examples
of how you are
currently doing
On 10/21/2014 04:39 PM, Raymond Rogers wrote:
Let's think about this.
I think the question can be interpreted as a formating/display problem
for the underlying code.
If you believe so... Let me state it a bit differently what
datastructure comes out of the series command. Or rather what
On 10/21/2014 11:27 AM, Ralf Hemmecke wrote:
On 10/21/2014 04:39 PM, Raymond Rogers wrote:
Let's think about this.
I think the question can be interpreted as a formating/display problem
for the underlying code.
If you believe so... Let me state it a bit differently what
datastructure comes
Tim,
Attached is what I meant by strict matrix equivalence. Thus a
property expressed in terms
of the coefficient array for one normalized Orthogonal Polynomial has a
corresponding property for all the
normalized Orthogonal Polynomials.
This is just a side-effect of the technique.
On 10/20/2014 08:37 AM, Ralf Hemmecke wrote:
which gives excellent results. Pari uses
\[ |B_n| = \frac{2n!}{(2\pi)^n}\zeta(n) \]
with floats but you have to completely control the precision.
I don't know exactly, but I'd bet that Sage builds on flint2 for the
computation of Bernoulli
It's been a long time but I believe I read
Anatomy of Lisp
John Allen
As I recall it would be an example of literate programing in the sense
that every piece of code had extensive explanation before and after; and
could actually lift the code and implement it.
I found it a revelation; he actually
I haven't been paying close attention but I think the following might work:
define the gcd() implicitly: i.e. minimize over [m,n integer,G0](
m(a/b)+n(c/d))=G
This seems to make sense in Euclidean domains.
This leads to
G=gcd(da,bc)/bd
let's see how this works
gcd(1/4,1/6) would yield 2/24=1/12
This sounds very similar to the items mentioned in: FIPS PUB 105
www.itl.nist.gov/*fips*pubs/*fips*105.pdf
Section 2.7.1
The documentation requirements depend upon the size and type of the
audience; and the expected lifetime of the software.
Ray
The hope is that since Clojure is all about
27 matches
Mail list logo