aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
AgeCommit message (Collapse)AuthorFilesLines
2008-11-20 * algebra/coerce.spad.pamphlet (CoercibleFrom): New.dos-reis89-6763/+263
(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-11-15 * algebra/Makefile.pamphlet: Individual .spad files are .PRECIOUS.dos-reis2-2/+6
2008-11-03 * algebra/syntax.spad.pamphlet (Syntax): Print syntax objects asdos-reis2-2/+4
s-expressions. * algebra/sex.spad.pamphlet (SExpression): Print strings as String.
2008-10-27 * configure.ac.pamphlet: Look for path to `awk'.dos-reis5-8/+5
Instantiate src/hyper/presea.
2008-10-25 * interp/sys-os.boot: Import oa_socket_read_byte asdos-reis1-0/+9
readByteFromStreamSocket. Import oa_socket_write_byte as writeByteToStreamSocket. * include/sockio.h (oa_socket_read_byte): Declare. (oa_socket_write_byte): Likewise. * lib/sockio-c.c (oa_socket_read_byte): Define. (oa_socket_write_byte): Likewise. * algebra/net.spad.pamphlet (readByteIfCan!$InetClientStreamSocket): Implement. (writeByteIfCan!$InetClientStreamSocket): Likewise. * etc/asq.c.pamphlet: Update build rules for asq$(EXEEXT).
2008-10-24 Add basic support for stream client socket.dos-reis6-38/+234
* lib/sockio-c.c (oa_inet_pton): Define. (oa_get_host_address): Likewise. * algebra/net.spad.pamphlet (IP4Address): New. (NetworkClientSocket): Likewise. (InetClientStreamSocket): Likewise. * algebra/data.spad.pamphlet (DataArray): Rename from DataBuffer. (ByteBuffer): Rename from ByteArray. Reimplement. * algebra/exposed.lsp.pamphlet: Expose IP4Address, InetClientStreamSocket, NetworkClientSocket.
2008-10-22 * algebra/exposed.lsp.pamphlet: Unexpose BinaryFile.dos-reis2-107/+0
* algebra/files.spad.pamphlet (BinaryFile): Remove.
2008-10-22 * algebra/net.spad.pamphlet (InputOutputBinaryFile): New.dos-reis4-2/+54
(position$InputBinaryFile): New. (position!$InputBinaryFile): Likewise. * algebra/exposed.lsp.pamphlet: Expose InputOutputBinaryFile. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add IOBFILE.
2008-10-19 * algebra/syntax.spad.pamphlet (Syntax): Now belong todos-reis3-25/+31
RetractableTo Integer, RetractableTo DoubleFloat, RetractableTo Symbol, and RetractableTo String.
2008-10-19 * algebra/syntax.spad.pamphlet (Syntax): Simplify.dos-reis1-42/+36
2008-10-18Fix typodos-reis1-1/+1
2008-10-18 Fix AW/374dos-reis1-1/+3
* algebra/radix.spad.pamphlet (intgroup$RadixExpansion): Check for big radix.
2008-10-18 Fix AW/293dos-reis2-5/+28
* algebra/gaussian.spad.pamphlet (ComplexCategory): Remove complex attribute.
2008-10-17 Fix AW/413, AW/414dos-reis6-14/+12
* src/algebra/fr.spad.pamphlet: Fix missing returns in loops. * src/algebra/gdpoly.spad.pamphlet: Likewise. * src/algebra/lmdict.spad.pamphet: Likewise. * src/algebra/plot3d.spad.pamphlet: Likewise. * src/algebra/prs.spad.pamphlet: Likewise. * src/algebra/sups.spad.pamphlet: Likewise.
2008-10-16 Fix AW/101dos-reis1-1/+24
* algebra/laplace.spad.pamphlet (lapkernel): Handle derivatives.
2008-10-15 * algebra/mkfunc.spad.pamphlet (unparse$InputForm): Usedos-reis1-2/+1
inputForm2String$Lisp.
2008-10-15 * algebra/mkfunc.spad.pamphlet (coerce$InputForm): Displaydos-reis1-4/+12
InputForm as a one-dimensional stream of characters suitable for input to the interpreter. * interp/i-output.boot: Implement conversion of InputForm to displayed OutputForm.
2008-10-14 Fix AW/338dos-reis1-1/+1
* algebra/fspace.spad.pamphlet (smprep$FunctionSpace): Fix thinko
2008-10-14 Fix AW/292dos-reis1-4/+4
* algebra/defintef.spad.pamphlet (checkForPole): Handler exponention. (checkSMP): Likewise.
2008-10-14 Fix AW/23dos-reis3-7/+11
* algebra/fspace.spad.pamphlet (isExpt): Tidy. * algebra/algfunc.spad.pamphlet (inroot): Likewise.
2008-10-13 Don't step over Common Lisp MAP.dos-reis4-1/+5
* interp/i-analy.boot (bottomUp): Change MAP to %Map. (isEltable): Likewise. * interp/i-coerce.boot (retract): Likewise. * interp/i-eval.boot (getArgValue): Likewise. * interp/i-funsel.boot (selectLocalMms): Likewise. * interp/i-intern.boot (getValueFromEnvironment): Likewise. * interp/i-map.boot (mkAuxiliaryName): Likewise. (augmentMap): Likewise. (displayMap): Likewise. (putBodyInEnd): Likewise. (expandRecursiveBody): Likewise. * interp/i-output.boot (outputTran): Likewise. * interp/i-spec1.boot (declare): Likewise. * interp/i-syscmd.boot (displayMacro): Likewise. * interp/i-toplev.boot (interpret2): Likewise. * interp/patches.lisp (MAP): Remove. * interp/trace.boot (isUncompiledMap): Likewise.
2008-10-13 Add support for Lisp declarations in generated Lisp code.dos-reis16-195/+352
* interp/i-map.boot (compileCoerceMap): Tell backend that minivector is global. * interp/i-spec1.boot (compileADEFBody): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise. * interp/define.boot (spadCompileOrSetq): Tell backend to ignore last argument for simple functions. * interp/c-util.boot (skipDeclarations): New. (lastDeclarationNode): Likewise. (declareGlobalVariables): Likewise. (transformToBackendCode): Use them to allow for Lisp declarations in middle-end forms. * interp/sys-driver.boot (AxiomCore::%sysInit): Reading Lisp level Floating point numbers default to double precision. * algebra/strap: Update.
2008-10-11Update algebra bootstrap cache.dos-reis85-1305/+4062
2008-10-09 * algebra/domain.spad.pamphlet (ConstructorKinid): New domain.dos-reis3-5/+68
(Constructor): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CTORKIND. (axiom_algebra_layer_user): Include CTOR.
2008-10-08 * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Includedos-reis4-7/+56
RGBCMDL, RGBCSPC. * algebra/color.spad.pamphlet (RGBColorModel): New. (RGBColorSpace): Likewise. * algebra/exposed.lsp.pamphlet: Expose them
2008-10-05 * interp/c-util.boot (getFunctionReplacement): Tidy.dos-reis1-3/+4
* algebra/data.spad.pamphlet (Byte): Likewise.
2008-10-05 * interp/c-util.boot (isAtomicForm): New.dos-reis1-0/+3
(replaceSimpleFunctions): Use it. Simplify back to original implementation. (proclaimCapsuleFunction): Constructor parameters are generic. * interp/sys-utility.boot (getVMType): Handle wildcard. * algebra/stream.spad.pamphlet: Don't build STREAM with proclamation on -- it currently violates type rules.
2008-10-04 * algebra/data.spad.pamphlet (sample$Byte): New.dos-reis1-2/+3
2008-10-03 * algebra/Makefile.pamphlet: Turn non optimization for algbera build.dos-reis2-2/+2
2008-10-02 * algebra/data.spad.pamphlet (Byte): Add coercion to and fromdos-reis1-17/+15
Character.
2008-10-02update databasedos-reis2-903/+901
2008-10-02 * algebra/outform.spad.pamphlet (doubleFloatFormat$OutputForm): Movedos-reis2-151/+14
from DoubleFloat.
2008-10-01 * algebra/net.spad.pamphlet (InputBinaryFile): Tidy.dos-reis1-7/+11
2008-10-01 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.dos-reis1-6/+0
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet): Remove unused function decompose.
2008-10-01 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.dos-reis1-6/+12
2008-10-01 * algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.dos-reis2-9/+5
(compile$InputForm): Tidy. * algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is not a Boolean. * interp/i-intern.boot (mkAtreeForToken): New.
2008-10-01 * algebra/files.spad.pamphlet (IOMode): New domain.dos-reis6-9/+153
* algebra/net.spad.pamphlet (InputBinaryFile): Likewise. (OutputBinaryFile): Likewise. * interp/sys-utility.boot (openBinaryFile): New. (readByteFromFile): Likewise. (writeByteToFile): Likewise. (closeFile): Likewise.
2008-09-28 * algebra/regset.spad.pamphlet (RegularTriangularSet): Removedos-reis1-6/+0
unused local decompose function.
2008-09-28 * algebra/outform.spad.pamphlet (OutputForm): Remove bogusdos-reis2-641/+663
definition for Rep. Tidy.
2008-09-26 * algebra/matrix.spad.pamphlet (new$Matrix): New.dos-reis1-28/+32
Remove uses of pretend. Define Rep.
2008-09-23 * algebra/fortmac.spad.pamphlet (MachineFloat): Don't redeclare base.dos-reis1-2/+0
2008-09-22 * boot/parser.boot (bpReturn): Allow assignment.dos-reis1-1/+3
2008-09-22Tidy Syntax and SpadAst.dos-reis1-11/+36
2008-09-22 * algebra/syntax.spad.pamphlet: Tie the recursive knots betweendos-reis1-284/+352
syntax domains.
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAst): New.dos-reis4-38/+148
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST. * share/algebra: Update algebra databases.
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAstExports): New.dos-reis4-60/+247
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADXPT. Update dependency rules. * share/algebra: Update algebra databases.
2008-09-21Misc cleanup.dos-reis2-3/+7
2008-09-21 * algebra/boolean.spad.pamphlet (Boolean): Now belong todos-reis2-11/+12
OrderedFinite.
2008-09-21Update algebra databases and algebra bootstrap Lisp files.dos-reis6-483/+464
2008-09-21 * interp/sys-macros.lisp (|byteEqual|): New.dos-reis4-53/+117
* algebra/boolean.spad.pamphlet (PropositionalLogic): Extend SetCategory. (PropositionalFormula): Now unconditional exports coercion to OutputForm. Adjust implementation. (KleeneTrivalentLogic): New. * algebra/data.spad.pamphlet (Byte): Tidy. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move PROPLOG to layer 1.