login
home
contents
what's new
discussion
bug reports
help
links
subscribe
refresh
FrontPage
last edited
3 weeks
ago by
page
Wiki contents for MathAction
FrontPage
News
AxiomDocumentation
Axiom Volume 1
Axiom Algebra
Tuples Products And Records
#187 trouble with tuples
Cartesian Product
SandBoxSum
SandBox Noncommutative Polynomials
AlgebraicNumber
OutputForm
SetCategory
InputForm
RealNumbers
PositiveInteger
NonNegativeInteger
SandBox NNI
SandBox SubDomain
SandBox SubDomain
IntegerNumberSystem
AxiomTutorial
FAQ
Common Mistakes
MathAction Problems
Axiom Problems
Unevaluated Expressions
Definite Integration
Dynamic Function Domains
indexed variables
List To Matrix
Manipulating Expressions
Mutual Recursion
numerical linear algebra
Pattern Matching
Piecewise Functions
Polynomial Coefficients
simplify exponents
series
Symbolic Integration
Computing with Vectors
simplifying Expressions
Graphics on MathAction
AxiomOutputFormatting
Axiom Developer FAQ
WesterProblemSet
Creating New Pages
RosettaStone
Rosetta
Yacas
AxiomProgramming
BootProgramming
SandBoxIOutput
LispInAxiom
HyperDoc
SandBox Manip
AxiomScreenCast
AxiomBinaries
BitTorrent
SilverBinaries
HP TestDrive
Axiom Foundation
DoyenCD
DoyenVirtualMachine
VMWare
AxiomContributions
CommonDenominator for polynomials
Cylindrical Algebraic Decomposition
FractionFreeFastGaussianElimination
fffg.spad.pamphlet
fffg.spad
Guessing formulas for sequences
ssolve.spad.pamphlet
SeriesSolve
ssolve.spad
rec.spad.pamphlet
RecurrenceRelationOperator
rec.spad
mantepse.spad.pamphlet
MantepseSpad
Jet Bundles
Jet BaseFunctionCategory
Jet CartanKuranishi
Jet Differential
Jet DifferentialEquation
JetBundle
JetBundleCategory
JetBundleExpression
JetBundleFunctionCategory
IndexedJetBundle
Jet LUDecomposition
Jet SparseEchelonMatrix
Jet VectorField
Aldor JetBundle
Aldor Jet Sparse
Jet Figure 4
Jet Figure 5
Lisp's Fraction Integer Domain
MathMLFormat
SandBoxMathML
PAFF
SandBoxPAFF
PolyMake
string conversions
reading structures from a file
Rational Interpolation
mantepse.spad2
RealClosure
ScratchPad
Simpson's method
statistical functions
SymbolicItoCalculus
SandBoxFFFG
Mathaction2Input
GnuDraw
AxiomUI
Kai Kaminski
SandBoxReduce
SandBoxReduceAndMathML
SandBoxMaxima
SandBoxMaxima2
SandBoxMaxima3
AboutAxiom
FriCAS
SandBoxFriCAS
FriCAS Sources
BuildFriCAS
BuildOnWindows
BuildOnCygwin
fricas-devel
OpenAxiom
OpenAxiom Sources
BuildOpenAxiom
OpenAxiom Binaries
AxiomWindowsInstallerScript
SandBoxOpenAxiom
SandBoxSyntax
AxiomSources
SourceForge
Savannah
Arch Usage
AxiomSilverBranch
AxispBranch
AxWeb
BuildAxiom
AxiomDevelopment
Pamphlet Files
SandboxPamphletStyle
PamphletExample
TodoList
Found Objects
SandBoxActiveAxiomDevelopers
HowToSubmitPatches
MinGW
MiKTeX
Axiom Gold Branch
SandBoxAxiomSourcesReST
MathActionRepository
mathematical algorithms
RealNumbers
AxiomLanguage
SandBox Axiom Syntax
Rep and Per
AxiomInterpreter
AxiomCompiler
SPAD
SandBox SPAD for Python
SandBox SPAD for Python 2
Rep and Per
Category Theory and Axiom
SandBox Aldor Category Theory
SandBox Aldor Category Theory Basics
SandBox Aldor Category Theory Categories
SandBox Aldor Category Theory 3
SandBox Aldor Category Theory 4
SandBox Aldor Category Theory 5
SandBox Aldor Category Theory 6
SandBox Aldor Category Theory 7
UserInterface
TeXmacs
AXIOMsys
jEdit
AxServer
mathml.spad.pamphlet
AxiomGraphics
GnuDraw
AxiomUI
...
Axiom Library
AboutMaxima
AboutReduce
ReduceAppendixB
AboutSage
WishList
NumericalIntegration
WorkshopRisc2006
Indefinite Types
Multivariate Resultants
finite field expressions
SandBoxCombinat
SandBoxSpecies
SandBoxSpeciesAldor
SandBoxSpeciesAldorSage
SandBoxSpeciesBayreuth
SandBoxSpeciesBayreuth2
Award Of Bounties
Summer Of Code
SandBoxXvfbRun
JenksSutorInXhtml
Statistics
HelpPage
SandBoxTables
MathActionAssistantHelp
StructuredText
Aldor
Free Aldor
UnrelatedSites
MathML
SiteIndex
AldorForAxiom
RandomAlgebra
FormalFraction
Interval Arithmetic
OtherComputerAlgebraSystems
MathAction
GraphViz
AxiomPortal
AxiomWiki
LaTeX
LatexSymbols
Status Page
LatexWiki
ZWiki
WikiWikiWeb
MathActionRepository
InstallingMathAction
MathActionDevelopment
TouchGraph
MathActionAssistantHelp
LatexTemplate
NoWeb
AxiomEmacsMode
AldorInEmacs
LiterateProgramming
TeX
SandBox CL-WEB
AxiomBook
DebuggingAxiom
DesignIssues
Where do variables belong?
UnivariatePolynomial
HyperDocTracing
EfficiencyProblem
WebSite
ScreenShots
SandBoxDoyen
SandBoxHyperDocReplacement
SandBox Sockets in SPAD
SandBoxTables
IssueTracker
#401 unparse generates Fortran function names
#402 binary for fedora core 6
#403 wiki does not preserve spacing
#404 axiom gold does not build on openSUSE 10.3 x86_64
#10 romberg slowdown
#100 integrate((z^a+1)^b, z) crashes
#101 laplace(log(z), z,w)
#102 solve(sinh(z)=cosh(z), z)
#103 solve(z=z, z)
#104 branch cuts differ?
#105 integrate(z^3000, z=0..1)
#106 Results of integrate(x^2) and integrate(x^2,x) are different
#107 Interpreter code generation failed for expression1
#108 InfiniteTuple and Stream
#109 hyperdoc uncompress failed
#11 Mathaction edit/save
#110 Domain Variable() and Symbol
#111 Fedora Core 3 binaries don't work (axiom-Feb2005-Fedora3-bin.tgz)
#112 Returned type of compiled function
#113 Compile fail on Suse 9.2
#114 Map on Functions crash
#115 color highlighting of Axiom compiler output
#116 Hyperdoc links and spad files
#117 Inheritance of Monoid Structure in Direct Product
#118 Quaternion restriction
#119 solve returns wrong answers and multiple answers to same trig problem
#12 radicalSolve fails to find all roots ?
#120 optimize the compilation with proclamation
#121 bogus
property change
comments
#122 Handling of power series
#123 Compile modified spad file
#124 Build failure in CVS top-of-tree sources in src/hyper
#125 src/hyper/Makefile.pamphlet uses htadd bare, causing build failure.
#126 /bin/sh vs /bin/bash scripting inconsistancy
#127 Building axiom from source fails on my Fedora Core 3
#128 error displaying a certain nested list
#129 patch-32 fails to display 3D graphics
#13 AXIOM for Windows: )copyright and )s ummary
#130 SpecialFunction(Integer) doesn't return Expression Integer
#131 awk backslash causes failure in src/algebra/Makefile
#132 Series expansion with complex doesn't print expansion point in type expression
#133 missing \begin{quote} in Chapter on "Using Types and Modes"
#134 suse 9.2, previous version OK
#136 cercion of power series
#137 solve problem
#138 asin(complex(1.0,0.0))
#139 Handling of power series
#140 asin(complex(1.0,0.0))
#141 atan(tan(3)) => 3
#142 atan(tan(3)) => 3
#143 atan(tan(3)) => 3
#144 Domain abbreviation is no longer associated with filename
#145 piping commands to sman does not work
#146 configure script is shell dependent
#147 axiom-Apr2005-src.tgz fails on fedora 3
#148 Down-arrow button in examples can crash session
#149 HyperDoc not working with Numlock on
#15 integrate(1/(1+z^4), z=0..1) :: Complex Float
#150 To create a function from an expresion
#151 Environment variable AXIOM
#152 Symbolic link SPADEDIT
#153 make install does not install a needed libdb.text for HyperDoc
#154 integrate does not produce asinh
#155 failed coercion between Expression Fraction Integer and Expression Float in exponents
#156 Axiom crashes when compiling simple Taylor code
#158 Result with partial display in TeXmacs
#159 build directory captured in scripts
#16 Serious One Line Crashing Axiom
#160 Axiom on Knoppix: ptyopen failed
#161 viewpoint v does not work
#162 nested cross products for Vector Polynomial Integer probelm
#163 axiom output isn't right with _
#164 min row and min col in IndexedOneDimensionalArray's IndexedTwoDimensionalArray
#165 stream2.input infinite loops with streams
#166 elemnum.input
#167 Infinite Floats Domain
#168 Linux Hyperdoc searches do not work
#169 Print empty two dimensional array (i.e. Matrix, TwonDimensionalArray ...)
#17 algebra BOOTSTRAP fixed point
#170 Axiom fails to solve "separable" system of equations
#171 Solve handles lists of expressions differently
#172 bezout.spad.pamphlet and Knuth's reference
#173 (1 . failed) cannot be coerced to mode (Integer) in TriangularMatrixOperations
#174 (1 . failed) cannot be coerced to mode (Integer) in TriangularMatrixOperations
#175 Works on implementation and/or documentation of LieSquareMatrix
#176 Factored Polynomials aren't differentiated correctly
#177 expand (cos (2*x))
#178 Linear Agebra problem
#179 differentiating sums with respect to a bound is wrong
#18 Axiom domains and Aldor return types
#180 bug #9216 differentiating sums with respect to a bound is wrong
#182 Floating point error round(-3.77623) etc.
#183 any? and every? should exit when the result is clear
#184 Complex argument is false.
#185 append vs concat
#186 compose function crashes Axiom
#188 the do instruction doesn't display any result
#189 Graphics does not work on Debian
#19 D(0^z, z) fails
#190 Compile fail on Fedora Core 4
#191 exquo and therefore gcd cannot handle UP(x, EXPR INT)
#192 Folding does not work in Konqueror 3.1.4
#193 Symbolic values (without variables) are not ordered properly in 'EXPR INT'
#194 tracing complex on windows
#195 Add a conjugateTranspose operation in MatrixCategory
#196 )set functions compile on
#197 DFLOAT format
#198 integrate(sin(x**2),x) is not handled
#199 integrate(exp(-x^2)+exp(x)/x,x)
#20 D(1, z) fails
#200 display of TwoDimensionalArray of type Union(...) is not properly formatted
#201 New issue categories for Aldor
#202 Axiom Tutorial PDF on Windows - Bitmap fonts used
#203 Using local database messages occur on some builds and not others.
#204 Loading $AXIOM/algebra/MSYSCMD.o for package MoreSystemCommands
#205 Hyperdoc does not work in patch 44
#206 Interpreter code generation failed for function returning a Type
#207 certain limit failure
#208 interpret(x::InputFor)=x is broken for functions and types
#209 The function |Domain| is undefined
#21 Statistics generated by )set message summary on ?
#210 Pamphlet support on MathAction
#156 Axiom crashes when compiling simple Taylor code
#211 Products are differentiated incorrectly
#212 substituting for an operator in a sum does not apply the summation algorithms
#213 No equality of operators which use dummy variables
#214 limit on products and sums
#215 sin asin(7.0::COMPLEX FLOAT)
#216 terminating condition for nextSubsetGray incorrectly documented
#217 Severe Compiler error?
#218 New version Reduce 3.8 includes MathML
#219 The interpreter does not understand dependend types
#22 Modification of axiom.input ?
#220 'StepThrough' is braindead
#221 'PI' does not have 'OASGP'
#222 FramedNonAssociativeAlgebraFunctions2 and map
#223 Legendre Polynomials
#224 ICARD fails to display database info
#225 Series examples improvement idea
#226 Equality in FunctionCalled
#227
random()$Integer
is a strange function
#228 pamphlets only work on wiki.axiom-developer.org
#229 Axiom Output in Documentation
#23 using exp as a symbol in **
#230 IssueTracker input form should allow preview
#231 simplify working on matrices
#232 Trace causes Bind Stack Overflow from erroneous input
#233 Trace in Float caused Fatal Error
#234 limit((-1/2)^n,n=%plusInfinity)
#235 Where is RadicalExtension and RationalRadical?
#236 Clicking on 'Dependents' in HyperDoc Browse crashes HyperDoc
#237 fails to display proper TeX
#238 displaymath environment gives LaTeX error
#239 'Algebra' does not have 'CharacteristicNonZero', but the book says so
#24 System error: Cannot take first of an empty list
#240 another 'limit' failure
#241 Bug in handling 0^0 in Axiom
#242 TeX display of long variable names is broken
#245 incorrect TeX output from radix()
#247 editing pamphlet does not update png image of first page
#248 Bug#347199: axiom-doc: Book is all-monospaceafter page 1019
#249 user id: doyen hangs log-in
#25 Axiom graphics from inside TeXmacs?
#251 About %%
#253 factor returns wrong result
#254 'factor$AN' doesn't factor $x^2-2$
#255 install DoyenWiki from DoyenCD
#256 unable to restart from the cd
#257 unable to restart from the cd
#258 RectangularMatrixCategory should have Finite when this is the case
#259 redhat update deamon
#26 Graphics in Solaris, patch 24, fixed!
#260 unwanted glibc warning when closing a plot
#261 Strange matrix addition
#262 Local variables in output
#263 ContinuedFraction returns incorrect types
#264 tangle not working in Doyen CD pamphlets
#265 Axiom binary for Fedora Core 4 does not start properly
#266 Axiom binary for Fedora Core 4 does not start properly
#267 tex.spad does not implement ALTSUPERSUB
#268 )abbrev? with too little detail
#269 some issues with the 'Factored' domain
#27 Axiom on Windows GCL problems
#270 integrating UTS
#271 )show Expression Boolean gives a list
#272 functions +-> and blocks of instructions
#273 Factor Expression Integer does nothing
#274 Can't get a parameter in an anonymous function
#275 Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars
#276 the result looks like a record but isn't a record
#277 Patches for GCL on Linux
#278 'simplifyLog' cannot cope with 'sqrt'
#279 Equality fails for Set Any
#28 GCL 2.6.5 on FC3
#280 hyperdoc crashes when we enter either '**' or ' ""**" ' under Browse and operations
#281 hyperdoc is not connected to AXIOM Server when it's restarted with ')hd'
#282 In hyperdoc click on 'users' crashes hyperdoc
#283 )trace interfering with '1::EXPR INT' and '2/3::FRAC INT'
#284 axiom crashes for a Groebner basis.
#285 equal in AlgebraicNumber fails
#286 Axiom Build closing a graphics window
#287 Firefox PDF missing plugin
#288 seriesSolve cannot find fixedPointExquo
#289 Trouble with escapes or map?
#29 for i in 1..1 repeat print(sin(i) :: Complex Float)
#290 Axiom failed to integrate elementary function
#291 small typo in docs
#292 integrate(sin(x)**2) problem
#293 integrate (1/(1+x^4),x = %minusInfinity..%plusInfinity)
#294 Infinite recursion during integration
#295 PERM movedPoints wrong
#296 PERMGRP should compute cycle indicator polynomial
#297 Wrong values of limit
#298 undesirable horizontal scroll bar
#299 MachineFloat is not a FIeld
#3 )cd directory does not work in Windows version 0.1
#30 make install: no such file or directory
#300 Axiom does not evaluate (a+b)^7 in TEXMAC session
#301 seriesSolve - generates bad fixedPointExquo
#302 Cannot rename the file erlib to NRLIB
#303 Some errors in book.pemphlet
#304 path to libXpm.a with Xorg >= 7.0
#305 compBound without a well-understood valuation
#306 libXpm.a is in /usr/lib under Ubuntu.
#307 repeatedly asks me to set preference before editing
#308 Runtime error on integration
#309 partial fraction with unknown constants
#31 Hyperdoc segfault
#311 Repeated output of the show system command for categories that do not export operations
#312 Bug in sqrt() for UnivariateTaylorSeries
#313 sqrt(x,0) should not give 1 in RealClosedField
#314 Wrong answer for integrate(2*atan(x)/(1+x^2),x)
#315 segmentation fault when the compiler processes badly indented macro that contain $Lisp
#316 solve dies on included code
#317 two files that differ only in case
#318 integrate: implementation incomplete (constant residues)
#319 Mutliset examples page not found in hyperdoc
#32 Debian Sarge GCL configure parameters
#320 use of #!/bin/awk -f in src/hyper/search.pamphlet
#321 Syntax of sort (/hyper/search.pamphlet) is deprecated with sort version 5.97
#323 Handling of the history in a file
#324 Bug in width$OutputForm
#325 Severe bug in 'normalize$EFSTRUC'
#326 Meaning of F0 and F1 ?
#328 AXIOM interpreter cannot iterate over Stream
#329 fuzzy error in factor.
#33 GCL fails to compile on Fedora Core 3
#330 generating 3d plot from hyperdoc fails
#333 asin 1.0 over Complex Float fails
#334 Misrecognized variable in Expression.
#335 sort! drops list elements
#336 'binomial$COMBF' is not evaluated consistently
#338 'eval' misses main variable
#339 interpreter gives up in loop
#34 Axiom missing rm, cat
#340
divisors$IntegerNumberTheoryFunctions
incorrect for units, i.e., 1, -1
#341 'primes' seems to be slow
#342 axiom from CVS not building on Fedora core 6
#343 Bug in FreeAbelianGroup
#344 Tube Plots
#345 fails to compute some simple limits
#346 Returns formal integration sign for (1 + tan(x))^(1/3), which is elementary
#347 bug in map$Set
SandBox Set Any
#348 Equality in Any
SandBox Set Any
#35 Aldor compiler won't build
#350 interpreter crash
#351 interpreter crash factoring 1+2%i in COMPLEX PF 5
#350 interpreter crash
#352 'PFECAT' is not implemented yet
#353 case sensitive file names
#354 Complex R is not necessarily a field when R is a field
#355 Wrong sign in derivation of besselK
#356 domain for general constants
#358 EXPR does not handle conditional definitions
SandBoxFloatSegment
#359 map with ::Boolean damages memory
#36 sman/graphics connection hang
#360 integral yields strange error message
#361 integral yields strange error message
#362 lower bound in a loop must be an integer
SandBoxFloatSegment
#363 A slow summation
#364 coerce is missing from domain Expression
#365 random does not produce arbitrarily large numbers
#366 gcl-2.6.7 crashes building "wh-sandbox"
#37 )co aldor file does not work
#370 Improper code emmited by mkUnionFunList, impacts defintrf.spad
#371 iprint from InternalPrintPackage makes malformed call to FORCE-OUTPUT
#374 radix
#375 A simple stream generation enters an infinite loop
#376 setelt does not work on function results
#377 Comparing pi^e and e^pi
#378 Declarations with multiple variables don't work inside of functions
#379 acos(1.0::Complex Float) fails
#38 triset.spad.pamphlet TSETCAT-.lsp BOOTSTRAP missing
#380 Axiom doesn't start
#381 silver axiom file missing during install
#384 factors returns nonsense for EXPR INT
#385 useful function not exported
#386 Infinite loop in LISP related to Tuple?
#387 overloading functions in the interpreter does not work
#39 catdef.spad.pamphlet EUCDOM-;expressIdealMember;LSU;10
#4 )copyright does not work on MathAction
#40 broken input file testing
#41 fresh databases are not copied back for build
#42 Escaping $ is tedious...
#43 when is broken
#44 IssueTracker needs to be able to use old Axiom versions
#45 regression testing is not being checked
#46 termio vs ptermio (in src/clef/edible.c)
#47 complexForm(log(%i) - log(-%i))
#48 #define unlikely defined in linux/compiler.h
#49 GCL argument list too long
#5 )edit command ignores file name
#51 duplicate definition of function in PSETCAT
#52 axiom option -rm no longer works
#53 axiom option -rv no longer works
#54 Packaging Axiom and TeXmacs together
#55 Graphics does not work on Windows
#56 Hyperdoc does not work on Windows
#57 Databases are not copied back
#58 error modifying title of bug (test)
#59 make install sets the wrong shell variable in the axiom script
#6 integration result Gamma not TeXed correctly
#60 bugs duplicate functions exists. optimizer complains during rebuild
#61 cot(0.0), csc(0.0), asec(0.0), acsc(0.0), asech(0.0), acsch(0.0), cot(0.0), coth(0.0), acoth(0.0
#62 make GCL= does not override properly
#63 bugs Problems raising a UTS to a negative integer power
#64 clef does not understand end, delete, etc
#65 protect* functions should be #:NAG only
#66 one? function calls need to be restored
#67 Underlying common lisp system should have a binding to OpenMATH library
#68 shell script for bug reporting
#69 sqrt(-1/abs(x))-1/sqrt(-abs(x))
#7 Simplify changes the type of an expression
#70 when is broken
#71 The current free Axiom has no complete documentation
#72 product over product or sum fails
#73 )spool does not capture )sys output
#74 XSLT style sheet to convert OpenMath to MathML
#75 algebra creates the file code.lsp, this needs to be renamed before compile
#76 Cannot edit status fields of issue pages with Page type: Plain text
#77 protected-symbol-warn called with (NIL)
#78 Axiom access to OpenMath library no longer works
#79 log10 in GCL returns a bad value for log10(1000)
#8 (Savannah bug #9297) output misses some parenthesis
#80 Semantic Errors when building algebra
#81 French error message when building SPLTREE
#82 Sum should be evaluated by Gosper's method, but isn't
#83 Bug 5977 1::DMP([x],FRAC INT)::POLY FRAC INT ==> 0
#84 conjugate(c)
#85 axiom on windows won't accept interrupts
#86 Axiom (Windows) in a MAC VMWare won't install
#87 solve(x + 1.1, 0.001) fails
#88 Draw does not work under TeXmacs
#89 Typos in the full book
#9 )hist )write foo.input
#90 coredump with infinite stream
#91 coredump with infinite stream
#92 coredump with infinite stream
#93 Confusing amount of information on Axiom (beginner's issue)
#94 TeX output misses parenthesis in FACTORED
#95 TeX output misses parenthesis in FACTORED
#96 no text before Axiom command in comment
#97 match not working
#98 configure script does not handle MAC OSX "Darwin"
#99 x^1 abc[y] should be a syntax error
#250 no link on desktop to Doyen Home Page or Wiki
#157 bad call to getdatabase
#405 ContinuedFraction and Polynomial Domains
#406 test specification of axiom version in issues
#407 Cannot modify status of Issue
#408 Gamma$EXPR INT cannot be evaluated as Float
#409 Aldor interface is difficult to install on FriCAS / OpenAxiom
#181 random(0)
#410 )di abb is broken
#411 "forbidden" type generated by trigonometric expression
#412 Wrong definition of equality in TBAGG
#413 (semi)resultantEuclidean_naif, affects resultants for Finite IntegralDomains
#414 insert! doesn't like non-ordered SetCategories
#415 Stack misses some exports
#416 Wrong link to papers in home page
#417 integration failure
#418 series expansion, but not differentiable
#187 trouble with tuples
#419 bug in type inference for anonymous functions
#420 Tuple, again
#421 improper call to system function bottomUp
#422 declarations escape Record
#423 showSummary fails
#424 Interpreter code generation failed
#425 confusion over Category
#426 Non-builtin domain values fail
#427 Broken compilation of axiom-may2008 on Slackware 12.1
#428 Equation Domain coerce to OutputForm and Boolean
#429 Description of IndexedExponents in HyperDoc
SandBox
SandBox Aldor Foreign
SandBox Aldor Sieve
SandBoxAldorTuples
SandBox Arrays
SandBoxRepresentationTheory
SandBoxPfaffian
SandBox Aldor Generator
SandBox Aldor Semantics
SandBox Reflection in Aldor