A glossary generated from the pages on this site.
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
A - AXIOMsys
- is the main Axiom program. It does not include graphics or
hyperdoc browsing. Under Linux Axiom is usually started
via a script called 'axiom' that also starts other processes
such as sman (the ...
- AboutAxiom
- History
- AboutMaxima
- Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of ...
- AboutReduce
- REDUCE: Overview
- AboutSage
- SAGE is free and open software that supports research and teaching in algebra, geometry, number theory, cryptography, etc. Both the SAGE development model and the technology in SAGE itself is ...
- AbstractFauser2007
- Calculations in character Hopf algebras using SCHUR and Maple
- Aldor
- Aldor is a computer programming language, like Scheme, Java or C#.
- Aldor Jet Sparse
- Row echelon form and other basic operations for sparse matrices.
- Aldor JetBundle
- !VectorField (VF)
- AldorForAxiom
- It is possible to use the Aldor compiler WebSite:www.aldor.org
to compile functions which you then can use Axiom. For details see:
- AldorInEmacs
- There are currently two packages available for emacs which support the "Aldor":http://www.aldor.org
programming language.This page provides information and links to the available tools.
- AlgebraGivenByStructuralConstants
- \begin{axiom}
)sh AlgebraGivenByStructuralConstants
\end{axiom}
- AlgebraicNumber
- Returns -- a domain of categories ExpressionSpade, AlgebraicallyClosedField, RetractableTo(Integer), RetractableTo(Fraction(Integer)), LinearlyExplicitRingOver(Fraction(Integer)), CharacteristicZero,
...
- Arch Usage
- Axiom development is now hosted on an Arch server running on
axiom.developer.org.
- Award Of Bounties
- **Bounties:** --
relatively small promotional awards to be paid for programming
work done to enhance Axiom.
- AxServer
- \documentclass{article}
\usepackage{axiom}
\begin{document}
\title{\$SPAD/src/algebra axserver.spad}
\author{Arthur C. Ralfs}
\maketitle
\begin{abstract}
The AxiomServer package is designed to ...
- AxWeb
- AxWeb - A literate programming tool written in Common Lisp
- Axiom Algebra
- Lattice.pamphlet
- Axiom Colloquium
- The Colloquium's purpose is two-fold: 1) for the participants to share and discuss theory, practical experiences and insights regarding Axiom, and 2) to assist others concerned with Axiom and ...
- Axiom Developer FAQ
- This is an edited version of the FAQ file found in the Axiom source
code distributions.
- Axiom Foundation
- Donations
- Axiom Gold Branch
- * The CVS and tla archives are identical and refer to the Golden release
of Axiom, i.e. the latest stable release.
- Axiom Library
- The [Axiom Library] contains over 1,000 strongly-typed mathematical domains
and categories. It is written in "Spad":AxiomCompiler. The source code for
the library is here:
- Axiom Problems
- - [Unevaluated Expressions]
- Axiom Strengths
- This page's purpose is to collect strengths of Axiom in comparison to other CAS. Please add your thoughts.
- Axiom Syntax
- On January 19, 2006 5:53 AM Fabio Stumbo wrote:
- Axiom Volume 1
- Axiom Developers,Axiom Volume 1: Tutorial on Lulu.com Here
is a link to the first volume of the new Axiom book on Lulu.com.
Thanks Tim!Bill Page
- Axiom and Maple
- From: http://history.siam.org/pdfs2/Gonnet_final.pdf
- Axiom meeting 2005
- See also: [Next Axiom Meeting]
- Axiom-developer
- Selected Messages from the Axiom-developer email mailing list
- AxiomBinaries
- For current binaries see: InstallationFiles
- AxiomBook
- Introduction
- AxiomCommunity
- Besides frequently visiting the [Axiom Wiki] website.
There are several ways to stay in contact with the Axiom community.
- AxiomCompiler
- The language used for programming Axiom is called [SPAD]. In fact, [SPAD] has a
cousin, originally intended as a successor called [Aldor] which can be used
alternatively to 'spad'. There has not been ...
- AxiomContributions
- [CommonDenominator for polynomials]
- AxiomDevelopment
- This page is intended for Axiom developers and those who might want to
become developers. Here you can get an overview of what to do, and
where to discuss issues with others.
- AxiomDocumentation
- The Axiom Book
- AxiomEmacsMode
- \documentclass{article}
\usepackage{axiom}
%
% Note in processing this document - to produce the elisp file, run
% the following command:
%
% notangle axiom.el.pamphlet > axiom.el
%
% To produce ...
- AxiomGraphics
- Graphics in Axiom
- AxiomInVim
- Syntax highlighting for Axiom-files: .spad, .input
- AxiomInterpreter
- The Axiom interpreter is the part of Axiom responsible for handling
user input during an interactive session.
- AxiomLanguage
- Axiom has the [Axiom interpreter] for interaction with the
user and the [Axiom compiler] for building library modules.
- AxiomOutputFormatting
- One of the most frustrating things as a novice axiom user is to try to figure out how to get axiom output to appear in the desired form. For instance:
- AxiomPortal
- The Axiom Portal is an online enviroment in which Axiom users can:
- AxiomProgramming
- Axiom's programming languages
- AxiomProgrammingDiscussion
- Meta-classes versus Categories
- AxiomPromotion
- 1 Communities to inform of a release
- AxiomScreenCast
- Flash Presentations
- AxiomSilverBranch
- WARNING: This page is currently out of date. Read AxiomSources instead.
- AxiomSources
- Axiom, as an open source program, makes the complete source code
to the program available online. (Note: for those who are not
interested in compiling Axiom binaries for different platforms are
...
- AxiomTutorial
- The [Axiom Volume 1]: Tutorial is available in printed format at
http://lulu.com
- AxiomUI
- by [Kai Kaminski]
- AxiomWiki
- The Axiom Wiki (this web site) is an online enviroment in which
Axiom users and developers can:
- AxiomWindowsInstallerScript
- \documentclass{article}
\usepackage{axiom}
\begin{document}
\title{\textbf{Axiom Windows Installer Script}}
\author{Jose Alfredo Perez}
\maketitle
- AxispBranch
- Axisp is an experimental branch of Axiom. The focus of development is
to rewrite the original Boot implementation into Common Lisp, and to
improve and document the compiler and interpreter in the ...
B - BNatural
- A new project has been proposed to attempt to implement BNatural
using Aldor as an extension of the open source version of Axiom.
- BasicOperator
- \begin{axiom}
)sh BasicOperator
\end{axiom}
- BeBold
- Follow the Wikipedia guideline of
"being bold":http://en.wikipedia.org/wiki/Wikipedia:Be_bold
in updating wiki pages: Don't ask, just update (i.e. improve) the page.
- Binaries
- PRE-COMPILED BINARIES
- BitTorrent
- http://www.dessent.net/btfaq
- BootProgramming
- Boot is used internally in Axiom for some of the interpreter
and compiler code. Here is a detailed description of the
"Boot Language":/axiom--test--1/src/boot/Makefile
- BuildAxiom
- Developers
- BuildFriCAS
- Building on Linux
- BuildOnCygwin
- Note: the text below should be identical to the contents of INSTALL.CYGWIN in
the FriCAS distribution.
- BuildOnWindows
- Building Axiom on Windows
- BuildOpenAxiom
- Building on Linux
C - Cartesian Product
- ++ This domain implements cartesian product
- Category Theory and Axiom
- CliffordAlgebra
- \begin{axiom}
)show CliffordAlgebra
\end{axiom}
- Common Mistakes
- 1 Omitting the {axiom} enviroment
- CommonDenominator for polynomials
- This package extends UnivariatePolynomialCommonDenominator for arbitrary polynomial categories. In fact, I don't understand why the original package is so restrictive.
- Complex Polynomial
- *Andrea Bedini wrote:*
- Computing with Vectors
- How to multiply two vectors??
- Creating New Pages
- Suppose someone asks you: --
**I think it would be great if you could add your
algoritm to the AxiomWiki web site.**
- Cylindrical Algebraic Decomposition
- **On Wednesday, October 12, 2005 5:29 PM Renaud Rioboo wrote:**
D - DebuggingAxiom
- 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 ...
- Definite Integration
- Here are some integration problems submitted by "Anonymous". In
at least one example, Axiom generated a 'segmentation fault'. We
will see if we can reproduce the problem here in a more controlled
...
- DesignIssues
- This should become a page where we document design issues.
- DocBook
- http://www.docbook.org/
- Doyen @ ASEE Mid-Atlantic Spring Conference 2006
- Poster session showing the Doyen Project at New York City Tech. This is the website of the conference: http://websupport1.citytech.cuny.edu/Faculty/hli/asee/asee/default.asp .
- DoyenCD
- Doyen Live CD
- DoyenDocs
- \documentclass{article}
\usepackage{axiom}
\usepackage{graphics}
\begin{document}
\title{Doyen Build Instructions}
\author{Tim Daly \and Jose Alfredo Perez \and Wilken Rivera}
\maketitle
\begin{...
- DoyenFeedBack
- DoyenVirtualMachine
- Following Mr. Tim Daly's suggestion, I have uploaded a virtual machine configuration file for the DoyenCD using VMWare. This should allow to run the DoyenCD in different operating systems, ...
- Dynamic Function Domains
- On Wednesday, January 12, 2005 12:00 PM you wrote:
Ralf Hemmecke wrote:
Well, I haven't checked whether it should really work, but
shouldn't be::
Foo: with {
g: (n: PositiveInteger, k: ...
- doyen
- Doyen
The {problem, need, market} seems to be to develop a scientific
computation platform. The goal of such a platform would be to
create an ecosystem where scientists can
- develop ...
E - EfficiencyProblem
- Renaud wrote to the axiom-developer:
- ExpressionInteger
- This page gives a few comments about the expression domain 'Expression Integer'
and the use of more specific domains.
F - FAQ
- Frequently Asked Questions
- FRISCO
- This is just a link to a european project FRISCO in which software in Axiom and Aldor was developed.
- FormalFraction
- Author -- M.G. Richardson
- Found Objects
- If you have a lot of spare time, you might want to classify those pages, accidentally stumbled across:
- FractionFreeFastGaussianElimination
- FractionFreeFastGaussianElimination implements an algorithm proposed by Bernhard Beckermann and George Labahn. It can be used to solve general rational interpolation problems like (usual) linerized ...
- Free Aldor
- Axiom is a sophisticated computer algebra system originally developed
as an IBM research project. IBM sold Axiom to the Numerical
Algorithms Group (NAG) who marketed it and continued its development....
- FreeModule
- A bi-module is a free module
over a ring with generators indexed by an ordered set.
Each element can be expressed as a finite linear combination of
generators. Only non-zero terms are stored.
- FreeModuleCategory
- A domain of this category implements formal linear combinations
of elements from a domain **S** with coefficients
in a domain **R**. The coefficient ring
may be non-commutative.
- FreeRing
- \begin{axiom}
)lib FPROD
)lib FSUM
\end{axiom}
- FriCAS
- "!FriCAS/Axiom Project (Fork)":http://sourceforge.net/svn/?group_id=200168
- FriCAS Binaries
- Debian Packages
- FriCAS Sources
- Repository Info -- http://fricas.sourceforge.net/download.html
- FriCASonCygwin
- Martin Rubey provides the following instructions for running FriCAS on Cygwin:
- FrontPage
- [News]
- FrontPageDiscussion
- Please add comments about FrontPage here...
- fffg.spad
- Fraction Free Fast Gaussian
- fffg.spad.pamphlet
- \documentclass{article}
\usepackage{axiom,amsthm}
\newtheorem{ToDo}{ToDo}[section]
\begin{document}
\title{fffg.spad}
\author{Martin Rubey}
\maketitle
\begin{abstract}
The packages defined in this ...
- finite field expressions
- Here are some notes I took when I tried to allow expressions ove finite fields.
- fricas-devel
- The FriCAS developer email list is here:
G - GenericNonAssociativeAlgebra
- \begin{axiom}
)sh GenericNonAssociativeAlgebra
\end{axiom}
- GnuDraw
- **Demonstrate how graphs may be plotted and displayed from !MathAction**
- GraphViz
- "An Introduction to GraphViz":http://www.linuxjournal.com/article/7275
- Graphics on MathAction
- Graphics?
- Guessing formulas for sequences
- Author: "Martin Rubey":http://www.mat.univie.ac.at/~rubey/martin.html
H - HP TestDrive
- "Terms and Conditions":http://www.testdrive.hp.com/accounts/terms.shtml
- HelpPage
- "What's going on here?":#whatisthis
"User interface":#ui
"Navigation":#navigation
"Subscription":#email
"Editing":#editing
"Formatting rules in a nutshell":#rules
"Finding out more":#more
- HowToSubmitPatches
- This page describes how to submit a piece of code that corrects or
extends the Axiom project.
- HyperDoc
- The open source version of Axiom for Linux is a "feature complete"
release of Axiom that includes all of the functionality of the
original commercial release. It includes all of the algebra we
have ...
- HyperDocTracing
- The Trace Facility
I - Imitation As Complement
- MaplePrimes
- Indefinite Types
- Declaring Types
The idea that one should be able to "declare the type" of a
variable in Axiom by the command
\begin{axiom}
n:PositiveInteger
\end{axiom}
- IndexedJetBundle
- !IndexedJetBundle (IJB)
- IndexedUnion
- Goal: To explore the issues and develop tools for implementing 'IndexedUnion', a new domain constructor proposed by William Sit.
- InputForm
- Domain of parsed forms which can be passed to the interpreter. This is also the interface between algebra code and facilities in the interpreter.
- InputForms
- See InputForm
- Installation Files
- PRE-COMPILED BINARIES
- InstallingMathAction
- On 01/10/2004 4:05 PM Hans Peter Wuermli wrote:
- IntegerNumberSystem
- \begin{axiom}
Integer has IntegerNumberSystem
RomanNumeral has IntegerNumberSystem
)show IntegerNumberSystem
\end{axiom}
- Interval Arithmetic
- Author -- Mike Dewar
- IssueTracker
- Bug reports and other issues.
Please identify yourself and provide an email address using
login
before editing or adding a new issue.
See also:
! ...
- indexed variables
- I am trying to create formulae for products with, say, p sub k as
symbols. These are the results from two, at least naively identical formulae:
J - JenksSutorInXhtml
- This is the Jenks-Sutor book in xhtml + mathml.
The graphics are still included as images in the ps.tar
file. The ps directory with the pictures and the graphicstyle.css file
should be
in the same ...
- Jet BaseFunctionCategory
- !BaseFunctionCategory (BFC)
- Jet Bundles
- On February 7, 2006 10:24 AM C Y wrote:
- Jet CartanKuranishi
- !CartanKuranishi (CK)
- Jet Differential
- !Differential (DIFF)
- Jet DifferentialEquation
- !DifferentialEquation (DE)
- Jet Figure 4
- \begin{axiom}
)lib JBC JBFC JBC- JBFC- BFC BFC- JB JBX JBLF DE SEM DIFF JBE CK
\end{axiom}
- Jet Figure 5
- \begin{axiom}
)lib JBC JBFC JBC- JBFC- BFC BFC- JB JBX JBLF DE SEM DIFF JBE IJB CK
\end{axiom}
- Jet LUDecomposition
- !LUDecomposition (LUD)
- Jet SparseEchelonMatrix
- !SparseEchelonMatrix (SEM)
- Jet VectorField
- !VectorField (VF)
- JetBundle
- !JetBundle (JB)
- JetBundleCategory
- !JetBundleCategory (JBC)
- JetBundleExpression
- Domains for functions (local sections) over a jet bundle.
- JetBundleFunctionCategory
- !JetBundleFunctionCategory (JBFC)
- JetBundleLinearFunction
- !JetBundleLinearFunction (JBLF)
- jEdit
- Outline
K - Kai Kaminski
- Biography
L - LaTeX
- LaTeX ... is the world standard for writing technical documents. Authors in
science and engineering are probably already familiar with it (or should be).
If you've wrestled with and cursed at "...
- LatexSymbols
- \documentclass{article}
%%% ====================================================================
%%% @LaTeX-file{
%%% filename = "symbols.tex",
%%% version = "2.00",
%%% ...
- LatexTemplate
- %% This file is used as a python printf() string. As such, the document we are
%% trying to render is placed at the location of the percent-s below, and any
%% comments in this file must be ...
- LatexWiki
- Test
\begin{equation}
\alpha = \frac{\beta}{\gamma}
\end{equation}
- Limits and Colimits
- Limits
- LineBreaker
- From -- Bill Page
- LinuxDoc
- http://www.faqs.org/docs/Linux-mini/Linuxdoc-Reference.html
- Lisp's Fraction Integer Domain
- Original Date: Fri, 25 Mar 2005 12:01:44 -0600
- LispInAxiom
- It is possible to enter Lisp expressions directly into Axiom
(including function definitions) using the ')lisp' command,
but this is rather awkward for long Lisp programs.
\begin{axiom}
)lisp (defun ...
- List To Matrix
- Assume that I have a 'List', like:
\begin{axiom}
L := [[- 1,3,- 3,1],[3,- 6,3],[- 3,3],[1]]
\end{axiom}
(which is calculated from some earlier expressions).
How can I convert it into a 'SquareMatrix'....
- LiterateProgramming
- The standard form for all Axiom programs and documentation is
the [noweb] literate programming extension of LaTeX (called
"pamphlet files" in Axiom terminology). Pamphlet files contain
both ...
- LyX
- !**LyX** is a fully featured document processor, including:
M - Manipulating Expressions
- The domain InputForm can be quite useful for manipulating parts
of expressions. For example
- MantepseSpad
- This is the first part of the code from [mantepse.spad.pamphlet].
- MathAction
- Welcome to !MathAction - The Interactive Mathematical Web!
- MathAction Problems
- Some special Axiom-specific LaTeX commands might not be understood
by MathAction. For example::
- MathActionAssistantHelp
- The MathAction Assistant is a new interactive toolbar that appears at
the bottom of the 'edit' and 'Add comments' windows. It helps users
edit text containing LaTeX, Axiom and Reduce commands. ...
- MathActionDevelopment
- Design Goals and Issues
- MathActionRepository
- MathAction is maintained as "darcs":http://darcs.net clone of the repository for
"ZWiki":http://www.zwiki.org and is located at:
- MathML
- http://www.w3.org/Math/
- MathMLFormat
- New MathML package
- Mathaction2Input
- \documentclass{article}
\usepackage{axiom}
\begin{document}
\title{mathaction2input}
\author{Bill Page and David Cyganski}
\date{5 July 2007}
\maketitle
\begin{abstract}
This script converts the ...
- MiKTeX
- MiKTeX is an up-to-date TeX implementation for the Windows operating system.
- MinGW
- What is MinGW?
- Mirrors
- .hover-red:hover {background-color: pink; text-decoration: none }
.hover-red:link {text-decoration: none }
.hover-red:active {text-decoration: none }
.hover-red:visited {text-decoration: none }
....
- MortonCode
- References to Morton codes (also known as z-order and Lebesgue curves):
- Multivariate Resultants
- Here is what I got so far by translating Amit Khetans bires.mpl into Axiom (I'm struggling with guessing the right coercions...) Help is very much appreciated!::
- Mutual Recursion
- Here we give two examples of defining functions by mutual recursion in Axiom
- mantepse.spad.pamphlet
- \documentclass{article}
\usepackage{axiom,amsthm,amsmath}
\newtheorem{ToDo}{ToDo}[section]
- mantepse.spad2
- This is the second part of the source from [mantepse.spad.pamphlet]
\begin{axiom}
)lib RECOP FAMR2 FFFG FFFGF NEWTON GOPT GOPT0 UFPS UFPS1
\end{axiom}
\begin{spad}
)abbrev package GUESS Guess
++ ...
- mathematical algorithms
- Computer algebra systems like Axiom implement a very large number of
[mathematical algorithms]. By that we mean:
- mathml.spad.pamphlet
- \documentclass{article}
\usepackage{axiom}
\begin{document}
\title{\$SPAD/src/algebra mathml.spad}
\author{Arthur C. Ralfs}
\maketitle
\begin{abstract}
MathMLFormat is a package to produce ...
N - News
- Please post notices and information about events, conferences
and meetings related to Axiom and computer algebra here.
- Next Axiom Meeting
- **On November 19, 2005 10:34 AM Tim Daly (root) wrote:**
- NoWeb
- \documentclass{article}
\usepackage{axiom}
\begin{document}
\title{Autodoc}
\author{Tim Daly}
\maketitle
\begin{abstract}
We want to generate the reference information from axiom source
files ...
- NonAssociative
- $$
a*(b*c) \ne (a*b)*c
$$
- NonNegativeInteger
- See also PositiveInteger
- NumericalIntegration
- The package 'NumericalQuadrature' implements several operations for numerical integration. Here I provide just some examples. Documentation is to be found in the corresponding '.spad' or '.pamphlet' ...
- numerical linear algebra
- I'm new to Axiom, so maybe I'm doing things in a stupid way.
O - OldFrontPage
- **Welcome!**
- OpenAxiom
- "!OpenAxiom Project (Fork):":http://www.open-axiom.org Open source development
project on SourceForge with emphasis on becoming
the "Axiom of Choice" by improving the build system through the
...
- OpenAxiom Sources
- Repository -- http://www.open-axiom.org/download.html
- OtherComputerAlgebraSystems
- Someday (maybe) we will also include online access to
other systems such as:
- OutputForm
- Returns -- a domain of category SetCategory with explicit exports
- OverloadProb
- **Type Conversion and Overloading problems**
P - PAFF
- "PAFF":http://www-rocq.inria.fr/codes/Gaetan.Hache/PAFF.html
: Package for Algebraic Function Fields in one variable
- Pamphlet Files
- **Based on an email from Tim Daly on June 27, 2005 1:24 AM:**
- PamphletExample
- \documentclass{article}
\usepackage{axiom}
\begin{document}
\title{Autodoc}
\author{Tim Daly}
\maketitle
\begin{abstract}
We want to generate the reference information from axiom source
files ...
- PamphletSyntax
- This page discusses the pros and cons of a change in pamphlet syntax away from the currently (23-Jul-2007) used "noweb":http://www.eecs.harvard.edu/~nr/noweb/ syntax.
- PanAxiom
- This page explains what PanAxiom stands for.
- ParticipantsRISC2007
- - Rafal ABLAMOWICZ (Tennessee Technological University)
- Pattern Matching
- Say, I have
\begin{axiom}
test:=D(sin(z)^2, z)
\end{axiom}
- Piecewise Functions
- Consider the following function, given in recursive manner:
\begin{axiom}
N0(t|(t1))==0
N0(t|(t>=0) and (t0)==(t-i)/p*N(t,i,p-1)+(i+1-t)/p*N(t,i+1,p-1)
\end{axiom}
This is a way to create (uniform) ...
- PolyMake
- http://www.math.tu-berlin.de/polymake
- Polynomial Coefficients
- Let's examine a simple case:
\begin{axiom}
Dg := [p3 - 3*p2 + 3*p1 - p0,3*p2 - 6*p1 + 3*p0,3*p1 - 3*p0,p0]
\end{axiom}
Now calculate coefficients in two ways:
\begin{axiom}
map(coefficients, Dg::...
- PositiveInteger
- See also NonNegativeInteger
Q - QuadraticForm
- \begin{spad}
)abbrev domain QFORM QuadraticForm
QuadraticForm(n, K): T == Impl where
n: PositiveInteger
K: Field
SM ==> SquareMatrix
V ==> DirectProduct
R - RandomAlgebra
- (the maths inside is not meant to be taken seriously;
'tis a silly idea that can't work)
- Rational Interpolation
- Introduction
- RealClosure
- Real Algebraic Numbers
- RealNumbers
- 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?*
- RebuildDoyen
- -------------------------------------------------------
Instructions to make a new Doyen image file.
-------------------------------------------------------
- RecurrenceRelationOperator
- Here is a simple implemention of a recurrence relation operator. It is far
from finished, but might serve as a starting point. I experienced the following
difficulties:
- ReduceAppendixB
- Appendix B Examples
- Rep and Per
- Aldor programming philosophy from the point of view of it's
evolution from previous incarnations of the Axiom library
compiler, is described here:
- Rosetta
- \documentclass{article}
\normalsize\baselineskip=12pt
\parskip=0pt
\parindent=10pt
\tolerance=5000
\pretolerance=5000
\frenchspacing
\hangindent=10pt
\skip\footins=18pt
\global\textwidth 31pc \global\...
- RosettaStone
- 1 Rosetta Translations
- reading structures from a file
- This package provides operations that all take a filename and return an axiom structure which is supposed to be in some standard notation in this file. Geared towards polymake. Needs '...
- rec.spad
- Here is the source code 'rec.spad'
- rec.spad.pamphlet
- \documentclass{article}
\usepackage{axiom}
\begin{document}
\title{rec.spad}
\author{Martin Rubey}
\maketitle
\begin{abstract}
The package defined in this file provide an operator for the
$n$\...
- robots.txt
- # Define access-restrictions for robots/spiders
# http://www.robotstxt.org/wc/norobots.html
S - SPAD
- The language used in Axiom is called Spad (a contraction of Scratchpad,
the original name for Axiom). The Scratchpad compiler was rewritten
many tims as both Axiom and its language developed as an ...
- SandBox
- This is the front page of the **SandBox**. You can try anything you like
here but keep in mind that other people are also using these pages to
learn and experiment with Axiom and Reduce. Please be ...
- SandBox Aldor Category Theory
- This project is intended to implement the code and concepts
presented by Saul Youssef in "Prospects for Category Theory
in Aldor", 2004.
- SandBox Aldor Category Theory 3
- \begin{aldor}[slicecategories]
#include "axiom"
#pile
- SandBox Aldor Category Theory 4
- \begin{aldor}[morphisms]
#include "axiom"
#pile
#library lBasics "basics.ao"
import from lBasics
- SandBox Aldor Category Theory 5
- \begin{aldor}[categories]
#include "axiom"
#pile
- SandBox Aldor Category Theory 6
- \begin{aldor}
#include "axiom"
#pile
- SandBox Aldor Category Theory 7
- \begin{aldor}[subobjects]
#pile
#include "axiom"
+++
+++ Quotients
+++
define Quotient(Obj:Category):Category == with
Quotient: (A:Obj,B:Obj) -> (A->B) -> (Quo:Obj,A->Quo,(X:Obj)->(A->X)->(Quo-...
- SandBox Aldor Category Theory Basics
- Miscellaneous Logical helper functions
- SandBox Aldor Category Theory Categories
- \begin{aldor}[categories]
#include "axiom"
#pile
- SandBox Aldor Foreign
- On Wednesday, May 31, 2006 2:54 AM Gernot Hueber wrote:
Due to that I want to call external library functions from within
Aldor/Axiom I did some trials with Aldors "Foreign" and GCL "defentry"
...
- SandBox Aldor Generator
- Aldor has generators:
- SandBox Aldor Join and Meet
- Aldor-Meet
- SandBox Aldor Semantics
- The following Aldor code was given as an example by Ralf Hemmecke
and added to the wiki by Martin Rubey. See the thread:
- SandBox Aldor Sieve
- From section 1.2 of Aldor Users Guide
- SandBox Arrays
- Adding new functions to PrimitiveArray in an attempt to improve
performance.
- SandBox Axiom Strengths
- This page's purpose is to collect strengths of Axiom in comparison to other CAS. Please add your thoughts.
- SandBox Boolean
- On Wed, 1 Feb 2006 10:29:24 -0700 Robert Dodier asked C Y:
- SandBox Cast
- This is an example of using 'pretend' to perform a type
unsafe operation.
- SandBox Categorical Relativity
- Special relativity without Lorentz transformations.
- SandBox Category of Graphs
- Axiom currently lacks an implementation of the mathematical
concept of *graph* in the sense of
"Graph Theory":http://en.wikipedia.org/wiki/Graph_theory.
See also:
"Graph_(mathematics)":http://en....
- SandBox Category of Graphs 2
- This seems to work if the category is defined in the same source
file (i.e. same section in MathAction). The code is based on the
Spad version [SandBox Category of Graphs in Spad]
\begin{aldor}
#
...
- SandBox Category of Graphs in SPAD
- First we define the general category of graphs.
\begin{spad}
)abbrev category GRAPHS GraphCategory
GraphCategory(nodes:Type, edges:Type): Category == with
source:edges->nodes
target:edges->nodes
- SandBox Direct Product
- The direct product of two functions over the same domain is
another function over that domain whose co-domain is the product
of the co-domains their co-domains.
- SandBox DistributedExpression
- Francois Maltey (FM) and Bill Page (BP) wrote::
- SandBox DoOps
- \begin{axiom}
zerosOf(7-5*x+5*x**2-x**3,x)
\end{axiom}
- SandBox Domains and Types
- In searching for use and meaning of the domain 'Domain', in all
the Axiom library I can find only one place that uses this domain::
- SandBox Einstein Velocity
- Einstein Velocity and Non-associative Addition
- SandBox Embeded PDF
- This is how a pamphlet file will look in MathAction
- SandBox EndPaper
- Basic Algebra Hierarchy
- SandBox Folding
- Real Easy Folding
- SandBox Functional Addition
- This library code is based directly on MappingPackage3 in
'mappkg.spad.pamphlet'
- SandBox Functions
- SandBox Gamma
- From Numerical Recipes in C, 2nd edition
- SandBox Gold
- testing
- SandBox Integration
- Integration
- SandBox Kernel
- Test old defintion
\begin{axiom}
position(exp(1)::Kernel EXPR INT)
position(pi()::EXPR INT::Kernel EXPR INT)
(%e
All exp() are sorted before pi()
- SandBox LaTeX
- $x^2$
- SandBox Lisp
- Testing Lisp under Axiom Interpreter
\begin{axiom}
)lisp (setq $dalymode t)
(+ 2 3)
\end{axiom}
- SandBox Lorentz Transformations
- Lorentz transformations relate one object or observer (represented by a
time-like 4-vector) to another object or observer. A Lorentz transformation
is **not** uniquely given by the relative velocity ...
- SandBox Manip
- Demonstration of modifying and testing a SPAD file
- SandBox Manipulating Domains
- On Sunday, March 19, 2006 5:54 AM Francois Maltey wrote:
- SandBox Mapping
- This domain provides a function-like type that can be queried
for domain and co-domain.
\begin{aldor}[sig]
#include "axiom.as"
T ==> SetCategory;
- SandBox Matrix
- Symbolic Matrices
- SandBox Monoid
- \begin{spad}
Monoid(m:Symbol,u:Symbol): Category == with
m: (%,%) -> % ++ returns the product of x and y
u: () -> % ++ unit
associative(m) ++ m(a,m(b,c)) = m(...
- SandBox Monoid Extend
- Martin's beautiful idea:
- SandBox NNI
- This is an experiment to see what the differences are
between defining NonNegativeInteger (NNI) as a SubDomain
of Integer, versus defining it simply based on Integer
itself.
- SandBox Noncommutative Polynomials
- There is are some domains in Axiom for doing computations with
non-commuting variables developed by Michel Petitot. You can find
some examples in the Axiom book under the title XPolynomial but
...
- SandBox Numerical Integration
- On March 10, 2006 10:53 PM Donald J Bindner wrote:
- SandBox Object
- Type-safe Objects in SPAD
- SandBox Polynomials
- Testing a change from::
- SandBox ProblemSolving
- Mathe-Abi ab 2004
- SandBox Qubic
- \begin{axiom}
digits 20
-- n:=x^3+a1*x^2+a2*x+a3 ::Polynomial Fraction Integer
- SandBox Reflection in Aldor
- On July 28, 2006 3:21 AM Christian Aistleitner wrote:
- SandBox SPAD for Python
- In Python we might write:
- SandBox SPAD for Python 2
- Aldor and SPAD allow domains to have parameters. For example
let's generalize the previous Complex domain to form complex
numbers over any ring.
- SandBox Set Any
- In Issue #347 it is shown that set equality fails after applying
a map to a set:
\begin{axiom}
A:Set Integer := set [-2,-1,0]
B:Set Integer := set [0,1,4]
C:=map(x +-> x^2,A)
test(C=B)
\end{axiom}
- SandBox Shortcoming
- Please try the two solve statements at the bottom
The first one runs in a short time but
the second runs a long time. The only
differenct is '*R*P' in eq1. Examining eq1a shows that
in fact p=1 has ...
- SandBox Sockets in SPAD
- SocketsInSpad
- SandBox Solve
- Solving Equations
- SandBox Spad
- A minimal exemple of my trouble.
- SandBox Speed
- \begin{aldor}
#include "axiom.as"
- SandBox Statistics
- Testing Martin's statistics code
- SandBox SubDomain
- Exposing the SubDomain constructor:
\begin{spad}
)abbrev domain SUB SubDom
SubDom(X:Type,C:Type):Type with
if C has IntegralDomain then IntegralDomain
== SubDomain(X,true)
\end{spad}
- SandBox Tail Recursion
- On Tuesday, August 30, 2005 3:44 PM Jens Axel Søgaard wrote:
- SandBox Text Files
- This is a simple example of writing to and reading from a text file:
\begin{axiom}
f1: TextFile := open("/tmp/test", "output")
writeLine!(f1, "abcdefg")
close! f1
f2: TextFile := open("/tmp/test", "...
- SandBox Trace Analysed
- This page is work in progress, to be continued ...
- SandBox Trace EXPR and FRAC
- Trace may affect correct output of '1::EXPR INT' . This page should be read in conjunction with IssueTracker #283.
To suppress the infinite loop being displayed till overflow, add ')math' to the ...
- SandBox Trace in Windows
- I want to point out a bug in Windows version: where the Linux version below refers to
'Integer.=,64' the Windows version (shown next) shows 'Integer.random,63'.
- SandBox Trace with )math
- The addition of ')math' below stopped the infinite loop from occurring!
For the version without ')math', see [SandBox Trace in Windows].
- SandBox Zero
- We are trying to create a Zero
- SandBox kaveh
- \begin{axiom}
- SandBox polymake
- Here we demonstrate the PolyMake wrappers 'Polytope' and 'SimplicialComplex'.
- SandBox.GuessingSequence
- This page makes test uses of the guessing package by Martin Rubey. Feel
free to add new sequences or change the sequences to ones you like to try.
- SandBox/interp/i-funsel.boot
- The purpose of this page is to begin the process of documenting
the function selection process used by the Axiom interpreter.
- SandBox11
- SandBox12_Test_Indet_and_Complex
- \begin{axiom}
2**0.5
-1**0.5
sqrt(2) :: Float
sqrt(-1) :: Complex Float
0**0
0.0**0.0
\end{axiom}
- SandBox13
- Test 1: solve a simple nonlinear homogeneous differential equation
- SandBox2
- Indefinite intregral
- SandBox3
- quad Bezier/line Intersection
- SandBox42
- \begin{axiom}
- SandBox9
- looking for completion of pendulum (constrained motion)
- SandBoxAbelianDuck
- During the Aldor/Axiom Workshop 2008 at RISC in one of his
presentations Stephen Watt began with::
- SandBoxActiveAxiomDevelopers
- The Core Axiom developers in alphabetical order
- SandBoxAdjacencyMatrix
- *On Tue, Jun 17, 2008 at 10:07 AM Franz Lehner wrote:*
- SandBoxAldorDomainList
- This is an experimental page to implement cartesian product over an indexed set of domains in Aldor. The constructor Product constructs a domain which is the cartesian product of $f(i)$ for $i \in I$.
- SandBoxAldorInductiveTypes
- This implementation of an Inductive (recursive) data type involves
the categorical co-product construction. See: LimitsAndColimits
\begin{axiom}
)library colimits
\end{axiom}
- SandBoxAldorTesting
- Based on the Aldor presentation by Stephen Watt:
http://www.aldor.org/docs/reports/ukqcd-2000/intro1-ukqcd00.pdf
and
http://www.aldor.org/docs/HTML/chap2.html
- SandBoxAldorTuples
- **On Date: Jun 26, 2007 8:19 AM Ralf Hemmecke wrote:((
- SandBoxAxiom
- Try Axiom calculations here. For example, here is a simple Axiom command::
- SandBoxAxiomAndThe30YearHorizon
- Intent
- SandBoxAxiomSourcesReST
- .. contents:: Table of Contents
.. section-numbering::
- SandBoxBeBold
- This page was renamed to BeBold. You can delete this one if no longer needed.
- SandBoxBen2
- \begin{axiom}
integrate(1/(a+x^2),x)
\end{axiom}
- SandBoxBiQuaternions
- The Biquaternion calculus support function collection
- SandBoxBiQuaternions2
- Biquaternion Calculus Domain
- SandBoxBiQuaternions3
- Biquaternion Calculus Domain
- SandBoxBootStrap
- On Monday, October 16, 2006 7:30 PM Gabriel Dos Reis wrote:
- SandBoxBootStrap2
- \begin{spad}
)lisp (setq |$bootStrapMode| t)
)abbrev domain T T
- SandBoxByNewb
- \begin{axiom}
)clear all
\end{axiom}
- SandBoxCL-WEB
- \documentclass{article}
\usepackage{axiom}
\usepackage{geometry}
\usepackage{hyperref}
\geometry{verbose,letterpaper,tmargin=1in,bmargin=1in,lmargin=1in,rmargin=1in}
\usepackage{graphics}
\...
- SandBoxCS224
- \begin{axiom}
[1/2, 3/4, 2/3]
\end{axiom}
- SandBoxCachedFunction
- A generic way to define function that cache their values.
- SandBoxCategories
- This page was renamed to AnonymousCategories. You can delete this one if no longer needed.
- SandBoxCliffordAlgebra
- We want to test some properties of the CliffordAlgebra domain implemented in AXIOM(TM)
- SandBoxCombinat
- This page demonstrates one of the very early attempts to do something similar to MuPAD combinat's "decomposable objects" in Aldor/Axiom. Meanwhile, we adopted the point of view of species, as shown ...
- SandBoxCommutativeCategory
- Can the attribute 'commutative("*")' be replaced with a category
definition like
\begin{spad}
)abbrev category COM Commutative
Commutative(n:String):Category == with nil
\end{spad}
- SandBoxComplementsdalgebrelineaire
- \documentclass{article}
%
% linalg.ltx
% Francois Maltey - janvier 2008
%
\usepackage[utf-8]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage[french]{babel}
\usepackage{xspace}
\...
- SandBoxComplexManifold
- Complex domain constructor done differently.
- SandBoxConditionalFunctions
- **Conditional for inner functions in a package.**
- SandBoxContentMathML
- This page was renamed to [Content MathML]. You can delete this one if no longer needed.
- SandBoxDGE
- Something is going wrong with the formatting of the output.
\begin{axiom}
s:=integrate(sqrt(a*t^2+b*t+c),t);
#s
s.1
s.2
\end{axiom}
It is not being wrapped as expected.
- SandBoxDefineInteger
- Why are the domains PositiveInteger and NonNegativeInteger defined as
[SubDomain]s of Integer insteadof the other way around? Here is a
(still somewhat imperfect) example of one way of defining ...
- SandBoxDifferentialEquations
- Differential Equations
- SandBoxDifferentialPolynomial
- Description --
DifferentialSparseMultivariatePolynomial implements an ordinary differential polynomial ring by combining a domain belonging to the category DifferentialVariableCategory with the ...
- SandBoxDomainNotValid
- This page was renamed to SandboxNoAnonymousCategoryMacro. You can delete this one if no longer needed.
- SandBoxDoyen
- PRE-COMPILED BINARIES
- SandBoxEFriCAS
- make.log
- SandBoxEcfact
- Subject: aldor/axiom interoperability
- SandBoxEllipticCurves
- Elliptic curve computations mod N in projective coordinates
- SandBoxEqualizerInOpenAxiom
- In FriCAS 'Equalizer' (See: LimitsAndColimits) can be defined as a
'SubDomain' as follows, but this does not work in the most recent
version of OpenAxiom
- SandBoxEquation
- \begin{spad}
)abbrev domain EQ Equation
--FOR THE BENEFIT OF LIBAX0 GENERATION
++ Author: Stephen M. Watt, enhancements by Johannes Grabmeier
++ Date Created: April 1985
++ Date Last Updated: June 3,...
- SandBoxEtc
- \begin{axiom}
)asq
\end{axiom}
\begin{axiom}
integrate(x, x)
- SandBoxF3lix
- \begin{axiom}
myExpr := simplify (1-e^x)^2 - (e^(2*x)- 2*e^x + 1)
\end{axiom}
- SandBoxFFFG
- SandBoxFisher
- How useful are the different CAS languages for implementing numerical routines? Prompted by a comparison of R and C for implementing Fisher's exact test for 2x2 tables (http://fluff.info/blog/arch/...
- SandBoxFloatSegment
- Split from #358
- SandBoxFormann
- f calculates the number of 0-1 matrices with row sums 'A' and column sums 'B'.
- SandBoxFreeProduct
- \begin{spad}
)abbrev domain FPROD FreeProduct
++ Description:
++ This domain implements the free product of monoids (groups)
++ It is the coproduct in the category of monoids (groups).
++ FreeProduct(...
- SandBoxFreeSum
- \begin{spad}
)abbrev domain FSUM FreeSum
++ Description:
++ This domain implements the free "product" of abelian monoids (groups)
++ It is the coproduct in the category of abelian monoids (groups).
++...
- SandBoxFriCAS
- This page is set to execute !\begin{axiom}... \end{axiom}
commands using FriCAS:
\begin{axiom}
)version
\end{axiom}
- SandBoxGlossary
- **Glossary**
- SandBoxGnuDraw
- \begin{axiom}
)clear completely
m(0,p) == 0
m(n,p) == m(n-1,p) * p + 1
\end{axiom}
- SandBoxGnuPlotTex
- Gee, that's easy:
\begin{gnuplot}[terminal=pslatex,terminaloptions=color,scale=1.4]
plot [-pi:pi] cos(x) lw 4,sin(x) lw 4
\end{gnuplot}
- SandBoxGraphviz
- \begin{latex}
\digraph[scale=1.0]{SandBox5Graph1}{rankdir=LR; a->b->c; a->h; b->d; c->h; e->d e->f->g; f->h; g->h}
\end{latex}
- SandBoxGrassmannIsometry
- Isometry from Grassmann Multivectors
- SandBoxHiddenOverloading
- This page discusses cases where instantiating of a parameter collapses two generically different functions.
- SandBoxHopfAlgebra
- **On Fri, May 15, 2009 at 03:23:33AM +0200, Franz Lehner wrote:**
- SandBoxHyperDocReplacement
- Here I demonstrate a possible way to start a replacement for HyperDoc.
- SandBoxIOutput
- Example for debugging boot code
- SandBoxInductiveType
- **On May 6, 2007 11:01 PM Gabriel Dos Reis wrote:**
- SandBoxInequation
- \begin{spad}
)abbrev domain NEQ Inequation
++ Author: Bill Page
++ Based on: Equation by Stephen M. Watt, enhancements by Johannes Grabmeier
++ Date Created: June 2008
++ Basic Operations: ~=
++ ...
- SandBoxJohn2
- This is a new SandBox test page. Since the page name begins with
SandBox, no email notice should be generated if this page is
changed.
- SandBoxKMG
- \begin{axiom}
- SandBoxLeftFreeModule
- \begin{spad}
)abbrev domain LFREEMOD LeftFreeModule
LeftFreeModule(R: Ring, S: OrderedSet):
Join(LeftModule R, IndexedDirectProductCategory(R,S)) with
linearCombination: List Pair(S,R) -> %
...
- SandBoxLexicalScope
- j is referenced out of scope
\begin{axiom}
for i in 1..5 repeat
j:Integer := i^2
output(i::OutputForm)$OutputPackage
output(j::OutputForm)$OutputPackage
\end{axiom}
The code above ...
- SandBoxLiteral
- Literals and Symbols in Axiom
- SandBoxMLE
- I have recently been experimenting with using Axiom for maximum likelihood estimation,
borrowing code (with permission) from "Compact Numerical Methods" by Nash.
- SandBoxMathML
- This page was renamed to MathMLFormat. You can delete this one if no longer needed.
- SandBoxMatrixExample
- Matrix Example
- SandBoxMaxSingleInteger
- The maximum of SingleInteger is not really maximal.
- SandBoxMaxima
- Testing the Maxima interface
- SandBoxMaxima2
- Minimal Maxima
- SandBoxMaxima3
- Computing Christoffel symbols in Maxima
\begin{maxima}
load(ctensor);
depends([a,b],[t,r]);
ct_coords:[t,r,O,P];
lg:ident(4);
lg[1,1]:-exp(2*a);
lg[2,2]:exp(2*b);
lg[3,3]:r^2;
lg[4,4]:r^2*sin(O)^2;
...
- SandBoxMaybe
- SandBoxMonad
- This is part of the default implementation of the Monad category.
\begin{spad}
)abbrev package MONADX Monadx
Monadx(S: Monad): Public == Private where
Public ==> with
"**" : (S, PositiveInteger)...
- SandBoxMorphism
- Using OpenAxiom
\begin{axiom}
)version
\end{axiom}
- SandBoxMultivariatePolynomialDivision
- A tutorial written by Angelos Mantzaflaris (webpage:
http://users.uoa.gr/~amantzaf/proje.html )
- SandBoxMyReduce
- \begin{spad}
)abbrev package MYRED MyReduce
MyReduce(S:Type): with
myred: ((S,S)->S,List S) -> S
== add
-- Waldek's local helper function
((f:(S,S)->S) = (g:(S,S)->S)):Boolean ==
--...
- SandBoxMyReduceInFriCAS
- \begin{axiom}
)version
\end{axiom}
\begin{spad}
)abbrev package MYRED MyReduce
MyReduce(S:Type): with
myred: ((S,S)->S,List S) -> S
== add
-- Waldek's local helper function
((f:(S,S)->S) = ...
- SandBoxMyReduceInOpenAxiom
- \begin{axiom}
)version
\end{axiom}
\begin{spad}
)abbrev package MYRED MyReduce
MyReduce(S:Type): with
myred: ((S,S)->S,List S) -> S
== add
-- Waldek's local helper function
((f:(S,S)->S) = ...
- SandBoxNewAutodocPamphlet
- \documentclass{article}
\usepackage{axiom}
\usepackage{hyperref}
\begin{document}
\title{NewAutodoc}
\author{William Sit}
\date{Original by Tim Daly\\ New Documentation August 13, 2006\\ Last updated ...
- SandBoxNewtonsMethod
- The following shows Newton's method for numerically solving f(x)=0. It is also shows examples of calling Axiom expressions and Spad functions from Lisp.
- SandBoxNijenhuis
- \documentclass[12pt,twoside]{article} %Marcel Dekker 2004
\usepackage{latexsym,amssymb,amsmath,amsfonts,amscd,amsthm,amstext}
\usepackage[all]{xy} %epsfig,graphics
%\setcounter{page}{1}
\...
- SandBoxNonAssociativeAlgebra
- Ref: http://arxiv.org/abs/0711.3220
- SandBoxNonZeroInteger
- Algebra
- SandBoxNonZeroIntegerInOpenAxiom
- Algebra
- SandBoxOldFrontPage
- Welcome to "Axiom":AboutAxiom!
- SandBoxOpenAxiom
- What version?
\begin{axiom}
)version
\end{axiom}
- SandBoxOverloading
- This fails in SPAD:
\begin{spad}
)abbrev domain AAA Aaa
Aaa: with
bar: Integer -> Integer
== add
foo(x:Float):Integer == 1
foo(x:Integer):Integer == 2
a:Integer == 1
a:Float == ...
- SandBoxPAFF
- This page was renamed to [PAFF]. You can delete this one if no longer needed.
- SandBoxPamphlet
- \documentclass{article}
\usepackage{axiom}
\usepackage[final,pdfstartview=FitH]{hyperref}
\begin{document}
\title{\$SPAD/src/algebra dhmatrix.spad}
\author{Richard Paul and Timothy Daly}
\maketitle
\...
- SandBoxPartialFraction
- Francois Maltey wrote:
- SandBoxPartiallyOrderedSet
- *On Tue, Aug 5, 2008 at 4:20 PM, Gabriel Dos Reis wrote:*
- SandBoxPfaffian
- \documentclass{article}
\usepackage{amsfonts}
\usepackage{axiom}
\begin{document}
\title{\$SPAD/src/input pfaffian}
\author{Timothy Daly, Gunter Rote, Martin Rubey}
\maketitle
\begin{abstract}
In ...
- SandBoxPileNotation
- Example of wrong indentation.
- SandBoxPolynomialQuiz
- \begin{axiom}
)clear all
variables (2*x+1/x)$DMP([x], EXPR INT)
variables (2*y+1/y)$DMP([y], INT)
a:=(2*x+1/x)$DMP([x], EXPR INT); variables a
b:=(2*y+1/y)$DMP([y], INT); variables b
x:DMP([x], EXPR ...
- SandBoxPolynomialQuizExplained
- Coming Soon! (Or you can provide them!) Please insert comments after each problem.
Original quizzes on SandBoxPolynomials#quizzes
- SandBoxREN
- \begin{axiom}
As := matrix([ [-3,1,1,1], [1,1,1,1], [1,1,1,1], [1,1,1,1]])
A := subMatrix(As, 2,4,2,4)
ob := orthonormalBasis(A)
P : Matrix(Expression Integer) := new(3,3,0)
setsubMatrix!(P,1,1,ob.3) ...
- SandBoxReduce
- Try Reduce calculations here. For example::
- SandBoxReduceAndMathML
- This page was renamed to SandBoxReduce. You can delete this one if no longer needed.
- SandBoxRelativeVelocity
- \documentclass{slides}
\usepackage{latexsym,amssymb,amsmath,amsfonts,amscd,amsthm,amstext}
\newcommand{\bk}{\Bbbk}\newcommand{\Z}{\mathbb{Z}}
\newcommand{\C}{\mathbb{C}}\newcommand{\R}{\mathbb{R}}
\...
- SandBoxRemember
- On Tue, Oct 27, 2009 at 4:19 PM, Franz Lehner wrote::
- SandBoxRepresentationTheory
- From: input/repa6.input
\begin{axiom}
)cls
- SandBoxRotationMatrix
- This says don't use LaTeX output.
\begin{axiom}
)set output tex off
)set output algebra on
\end{axiom}
- SandBoxSage
- This is a test of "Sage":http://modular.math.washington.edu/sage
in MathAction.
- SandBoxSageAxiomInterface
- \documentclass{article}
\def\code#1{{\tt #1}}
\def\url#1{{\it #1}}
\def\sage#1{{\bf #1}}
\def\note#1{#1}
\usepackage{axiom}
- SandBoxSagePamphlet
- \documentclass{article}
- SandBoxSageTest
- This page was renamed to SandBoxSage. You can delete this one if no longer needed.
- SandBoxSimple
- SandBoxSinCosRules
- Sin and Cos Rules
- SandBoxSpecies
- Test species in axiom/FriCAS.
- SandBoxSpeciesAldor
- Test species in axiom/FriCAS.
- SandBoxSpeciesAldorSage
- Test species in axiom/FriCAS and compare with the implementation in
"Sage-Combinat":http://sage.math.washington.edu/home/mhansen/CombinatorialSpeciesDemo.html
- SandBoxSpeciesBayreuth
- \begin{axiom}
)cd ~/combinat/src
)re ../lib/combinat.input
\end{axiom}
- SandBoxSpeciesBayreuth2
- Test the different Series defined for Species
- SandBoxSpeciesCategory
- \begin{spad}
)abb category SPECCAT SpeciesCategory
SpeciesCategory(L: SetCategory): Category == SetCategory with
structures: Set L -> List %
name: () -> String
- SandBoxSubsetCategory
- On Fri, May 30, 2008 at 7:01 AM Ralf Hemmecke wrote:
- SandBoxSubsetCategoryRemoved
- This page demonstrates how to get rid of the internal 'SubsetCategory'.
- SandBoxSum
- The Sum domain constructor is intended to be the
"Categorical Dual":http://en.wikipedia.org/wiki/Dual_(category_theory)
of the "Product":/axiom--test--1/src/algebra/ProductSpad
domain constructor
\...
- SandBoxSummerOfCode2007
- This page was renamed to SummerOfCode2007. You can delete this one if no longer needed.
- SandBoxSymPy
- Running SymPy in a SageBlock
- SandBoxSymbolic
- Symbolic Integers
- SandBoxSymbolicInverseTrig
- How does Axiom compute inverse trigonometric functions symbolically?
- SandBoxSymbolicSumsAndProducts
- Symbolic evaluation of sums and products
- SandBoxSyntax
- \documentclass{article}
\usepackage{axiom}
- SandBoxTEST
- \begin{axiom}
integrate(1/(1+x^2), x)
\end{axiom}
- SandBoxTables
- StructuredText supports tables with a simpler markup than HTML
using this markup::
- SandBoxTensorProduct
- **Date: Fri, 15 May 2009 21:03:00 +0200 Franz Lehner wrote:**
- SandBoxTensorProductPolynomial
- http://en.wikipedia.org/wiki/Tensor_product
- SandBoxTestOpenReduce
- Testing the new open source version of Reduce
\begin{reduce}
x+1/x+2;
\end{reduce}
- SandBoxUnitsAndDimensions
- See also the page named to [Units and Dimensions].
- SandBoxUnparse
- *On Tue, Sep 16, 2008 at 11:11 PM Waldek Hebisch wrote:*
- SandBoxVeryLongLaTeX
- Examples of Axiom output that causes problems for the LineBreaker program:
- SandBoxXvfbRun
- \begin{axiom}
viewport1 := draw(sin x, x=-%pi..%pi)
write(viewport1, "SandBoxXvfbRun1", "postscript")
\end{axiom}
- SandBoxZtransform
- Alasdair McAndrew writes::
- SandBox_pleblond
- \begin{axiom}
solve(p=n*log(n),n)
\end{axiom}
- SandboxDelay
- delay vs. generate - yield
- SandboxExportType
- \begin{spad}
)abbrev package TEST Test
Test(x: Ring): with
baseRing: () -> Ring
== add
baseRing() == x
\end{spad}
\begin{axiom}
--)tr bottomUp
--)tr evaluateType
--)tr evaluateFormAsType
--)...
- SandboxFreeAndLocal
- \begin{spad}
)abbrev domain AAA Aaa
Aaa: with
foo: Integer -> Integer
== add
z: Integer := 0
zzz: () -> Integer
foo(n: Integer): Integer ==
z := 1
n + 2*zzz()
...
- SandboxIsomorphic
- This page deals with specification of isomorphic domains.
- SandboxNullaryVsConstant
- \begin{spad}
)abbrev domain FOO Foo
Foo(): Exports == Implementation where
Exports ==> with
myrandom: Integer
-- myrandom: () -> Integer
Implementation ==> add
myrandom == 42
-- ...
- SandboxPamphletStyle
- This page describes how pamphlets should look like.
- SandboxPermutations
- \begin{axiom}
PI ==> PositiveInteger
LPS ==> List Permutation SetCategory
PS ==> Permutation SetCategory
LPSET ==> List Permutation Set Integer
PSET ==> Permutation Set Integer
lookup(lps2:LPS,i:PI): ...
- SandboxTypeDefinitions
- There seems to be different understandings of Type, domain, category, Category, etc. around.
Here is an attempt to collect all these different opinions in order to make discussion about them
clearer.
- SandboxWorkShopRISC2008
- Aldor & Axiom Workshop 2008
part of
"RISC Summer 2008":http://www.risc.uni-linz.ac.at/about/conferences/summer2008/
- Savannah
- RemoteUrl: http://savannah.nongnu.org
- ScratchPad
- Scratchpad was a computer algebra system developed at IBM
in the early 1970s. Like M&M (Maple and Mathematical) and
other systems today, Scratchpad had one principal
representation for mathematical ...
- ScreenShots
- A short demonstration of Axiom
- SeriesSolve
- SeriesSolve implements a workaround to the broken package delivered with Axiom. It handles quite arbitrary functional equations, but uses a questionable algorithm. It certainly should be replaced by ...
- SetAggregate
- Original code:
\begin{spad}
)abbrev category SETAGG SetAggregate
++ Author: Michael Monagan; revised by Manuel Bronstein and Richard Jenks
++ Date Created: August 87 through August 88
++ Date Last ...
- SetCategory
- Returns -- a category
- SilverBinaries
- Warning: Experimental!
- Simpson's method
- This routine provides Simpson's method for numerical integration. Although Axiom already provides a Simpson's method, this version has a syntax that will be intuitive to anyone who has used the ...
- SiteIndex
- A glossary generated from the pages on this site.
- Source Online
- You can browse Axiom's "literate programs":/LiterateProgramming
online "here":/axiom--test--1 The [pamphlet files] contain both
documentation and program source code. They can be viewed as high
...
- Source Repository
- - [Axiom Sources]
- SourceForge
- RemoteUrl: http://sourceforge.net
- Sqrt3Demo
- Some demo involving the algebraic number $\sqrt{3}$.
- Statistics
- - Monthly website
"access":http://page.axiom-developer.org/usage/index.html
for [Axiom Wiki] and [Axiom Portal]
- Status Page
- Adapted from ZopeWikiStats
- StructuredTables
- \begin{axiom}
P:= [[1,0,0],[0,1,0],[0,0,0]]
Q:= [[0,0,0],[0,0,0],[0,0,1]]
CT := CARTEN(i0 := 1,3,Integer)
epsilon:CT:=leviCivitaSymbol()
permi1:= matrix[[e0,0,0],[0,e0,0],[0,0,e0]]
permi2:= ...
- StructuredText
- Structured Text is a simple plain text markup format used by Zope
and ZWiki. It's similar in effect to !WikiWikiWebMarkup but is more
intuitive and standardized. The idea is to have text that is
...
- SubDomain
- PositiveInteger and NonNegativeInteger are subdomains of Integer.
- Summer Of Code
- Summer of Code: Axiom Projects
- Symbolic Integration
- Errors in symbolic integration
- SymbolicItoCalculus
- itovsn3 (author: Wilfrid S. Kendall)
- SymbolsAndVariables
- Interpreter
- series
- Carl McTague asked axiom to evaluate
- simplify exponents
- Howto simplify exponents
- simplifying Expressions
- Simplification of Expressions
- ssolve.spad
- \begin{spad}
-- Copyright (C) 2006 Martin Rubey
--
-- This program is free software; you can redistribute it and/or
-- modify it under the terms of the GNU General Public ...
- ssolve.spad.pamphlet
- \documentclass{article}
\usepackage{axiom,amsthm,amsmath}
\newtheorem{ToDo}{ToDo}[section]
- statistical functions
- Anonymous shared the following library of statistical functions with us. Many thanks! (He added, that they are not checked...)
- string conversions
- Here is a package that converts strings to numbers. It is only to be considered as a starting point. There is no error checking, it is probably slow and certainly buggy...
T - TeX
- and LaTeX are mathematical typesetting programs.
- TeXmacs
- "GNU TeXmacs":http://www.texmacs.org/tmweb/home/welcome.en.html is a free scientific text editor, which was both inspired by TeX and GNU Emacs. The editor allows you to write structured documents via ...
- TensorProduct
- \documentclass{article}
\usepackage{axiom,amsthm,amsmath,url}
\newtheorem{ToDo}{ToDo}[section]
\usepackage{a4wide}
\newcommand{\Axiom}{{\tt Axiom}}
- TodoList
- The last release was "Axiom 3.0 Beta":Axiom-Release-3.0-Beta. Tim keeps a detailed
"current state":AxiomCurrentState of Axiom. Those items which should be
completed for the first stable public ...
- TouchGraph
- TouchGraph is a graphical web page navigator.
- Tuples Products And Records
- On Fri Jul 1 14:47:12 -0500 2005 Bill Page wrote:
- Type Equivalence
- Type equivalence of domains in Axiom and Aldor
- TypeTowerDemo
- This page demonstrates some features of Axiom.
- test
- \begin{axiom}
draw(5*sin(sqrt(x**2+y**2)) , x=-20..20 , y=-20..20);
\end{axiom}
U - Unevaluated Expressions
- **On 15-11-2007 Marc Boyer posted to "sci.math.symbolic"**
- Units and Dimensions
- **On Friday, August 19, 2005 4:56 PM C Y wrote:**
- UnivariatePolynomial
- Section 9.83 UnivariatePolynomial
- UnivariateTaylorSeriesODESolver
- \begin{axiom}
)show UnivariateTaylorSeriesODESolver
\end{axiom}
- UnrelatedSites
- The following web sites are not related to the Axiom
computer algebra system but have names that suggest that
they might. We collect them here for easy reference and
in case someone got here by ...
- UserInterface
- There are several options to interact with Axiom:
V - VMWare
- Run any virtual machine
W - WebSite
- RemoteWikiURL: http://
- WesterProblemSet
- \documentclass{article}
\usepackage{axiom}
\usepackage{makeidx}
\makeindex
\begin{document}
\title{The Wester Problem Set}
\author{Timothy Daly}
\maketitle
\begin{abstract}
I'm starting to construct ...
- Where do variables belong?
- Currently, Axiom allows
\begin{axiom}
(1/x)::UP(x, FRAC POLY INT)
\end{axiom}
- WikiWikiWeb
- Ward Cunningham's WikiWikiWeb is the original and still one of the largest
and most active wikis. It contains a wealth of information about wiki and
many other things.
- WindowsInstaller
- \documentclass{article}
\usepackage{axiom}
\begin{document}
\title{\textbf{OpenAxiom Windows Installer Script}}
\author{Alfredo Portes}
\maketitle
- WishList
- This is the AXIOM wishlist, add items and descriptions of stuff that you would
like to see done in AXIOM.
- WorkShopRISC2006
- will take place at the "Research Institute for Symbolic Computation":http://www.risc.uni-linz.ac.at
in "Hagenberg":http://www.risc.uni-linz.ac.at/about/map, Austria from Thursday, April 27, 10 am, to ...
- WorkShopRISC2007
- AXIOM Workshop 2007
Symmetric Functions
"RISC-Linz":http://www.risc.uni-linz.ac.at
- WorkShopRISC2008
- Aldor & Axiom Workshop 2008
part of
"RISC Summer 2008":http://www.risc.uni-linz.ac.at/about/conferences/summer2008/
- WorkshopRisc2006
- will take place at the "Research Institute for Symbolic Computation":http://www.risc.uni-linz.ac.at
in "Hagenberg":http://www.risc.uni-linz.ac.at/about/map, Austria from Thursday, April 27, 10 am, to ...
X - Xming
- Xming X Server
Y - Yacas
- From Yacas' web page:
Z - ZWiki
- Zwiki is the software which drives this wiki site.
It has been developed by "Joyful Systems":http://joyful.com and
"contributors":http://zwiki.org/ZwikiContributors around the world,
and is ...
