Age | Commit message (Collapse) | Author | Files | Lines |
|
ConvertibleFrom S.
* algebra/newpoint.spad.pamphlet (PointCategory): Extend
ConvertibleFrom List R.
* algebra/misc.spad.pamphlet (SingletonAsOrderedSet): Now
ConvertibleTo Symbol.
* algebra/integer.spad.pamphlet (RomanNumeral): Now
ConvertibleFrom Symbol.
* algebra/float.spad.pamphlet (Float): Now ConvertibleFrom SF.
* algebra/sex.spad.pamphlet (SExpressionCategory): Extend
ConvertibleFrom Str, ConvertibleFrom Sym, ConvertibleFrom Int,
ConvertibleFrom Flt, ConvertibleFrom List %.
|
|
|
|
* algebra/asp.spad.pamphlet (Asp20): Now CoercibleFrom MAT FEXPR.
(Asp6): Now CoercibleFrom Vector FEXPR.
* algebra/catdef.spad.pamphlet (Algebra): Extend CoercibleFrom R.
(Ring): Extend CoercibleFrom Integer.
* algebra/formula.spad.pamphlet (ScriptFormulaFormat): Now
CoercibleFrom E.
* algebra/fortran.spad.pamphlet (FortranCode): Remove redundant
signature.
* algebra/fs2ups.spad.pamphlet
(FunctionSpaceToUnivariatePowerSeries): Tidy parameter.
* algebra/laurent.spad.pamphlet
(UnivariateLaurentSeriesConstructorCategory): Extend CoercibleFrom
UTS.
* algebra/manip.spad.pamphlet (PolynomialRoots): Tidy parameter.
* algebra/modmon.spad.pamphlet (ModMonic): Now CoercibleFrom Rep.
* algebra/ore.spad.pamphlet (UnivariateSkewPolynomial): Now
CoercibleFrom Variable x.
|
|
Remove redundant signature.
(NumericalODEProblem): Likewise.
(NumericalPDEProblem): Likewise.
(NumericalOptimizationProblem): Likewise.
* algebra/forttyp.spad.pamphlet (FortranType): Likewise.
* algebra/void.spad.pamphlet (Void): Now CoercibleTo OutputForm.
|
|
|
|
HomotopicTo P.
(OrdinaryWeightedPolynomials): Likewise.
* algebra/modmonom.spad.pamphlet (ModuleMonomial): Now
HomotopicTo MM.
* algebra/matrix.spad.pamphlet (coerce$RectangularMatrix): Remove
redundant signature.
* algebra/lodop.spad.pamphlet (OrdinaryDifferentialRing): Now
HomotopicTo HomotopicTo R.
* algebra/alql.spad.pamphlet (DataList): Now HomotopicTo List S.
* algebra/array1.spad.pamphlet (Tuple): Now HomotopicTo
PrimitiveArray S.
* algebra/kl.spad.pamphlet (CachableSet): Now HomotopicTo S.
* algebra/java.spad.pamphlet (JavaBytecode): Now HomotopicTo Byte.
* algebra/fname.spad.pamphlet (FileNameCategory): Extends
HomotopicTo String.
* algebra/data.spad.pamphlet (Byte): Now HomotopicTo Character.
|
|
* algebra/exposed.lsp.pamphlet: Expose it.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP.
|
|
(ConvertibleFrom): Likewise.
(RetractableTo): Use it.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
KRCFROM and KVTFROM.
* share/algebra/: Update databases.
|
|
|
|
s-expressions.
* algebra/sex.spad.pamphlet (SExpression): Print strings as
String.
|
|
Instantiate src/hyper/presea.
|
|
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).
|
|
* 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.
|
|
* algebra/files.spad.pamphlet (BinaryFile): Remove.
|
|
(position$InputBinaryFile): New.
(position!$InputBinaryFile): Likewise.
* algebra/exposed.lsp.pamphlet: Expose InputOutputBinaryFile.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add IOBFILE.
|
|
RetractableTo Integer, RetractableTo DoubleFloat, RetractableTo
Symbol, and RetractableTo String.
|
|
|
|
|
|
* algebra/radix.spad.pamphlet (intgroup$RadixExpansion): Check for
big radix.
|
|
* algebra/gaussian.spad.pamphlet (ComplexCategory): Remove complex
attribute.
|
|
* 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.
|
|
* algebra/laplace.spad.pamphlet (lapkernel): Handle derivatives.
|
|
inputForm2String$Lisp.
|
|
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.
|
|
* algebra/fspace.spad.pamphlet (smprep$FunctionSpace): Fix thinko
|
|
* algebra/defintef.spad.pamphlet (checkForPole): Handler exponention.
(checkSMP): Likewise.
|
|
* algebra/fspace.spad.pamphlet (isExpt): Tidy.
* algebra/algfunc.spad.pamphlet (inroot): Likewise.
|
|
* 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.
|
|
* 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.
|
|
|
|
(Constructor): Likewise.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CTORKIND.
(axiom_algebra_layer_user): Include CTOR.
|
|
RGBCMDL, RGBCSPC.
* algebra/color.spad.pamphlet (RGBColorModel): New.
(RGBColorSpace): Likewise.
* algebra/exposed.lsp.pamphlet: Expose them
|
|
* algebra/data.spad.pamphlet (Byte): Likewise.
|
|
(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.
|
|
|
|
|
|
Character.
|
|
|
|
from DoubleFloat.
|
|
|
|
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet):
Remove unused function decompose.
|
|
|
|
(compile$InputForm): Tidy.
* algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is
not a Boolean.
* interp/i-intern.boot (mkAtreeForToken): New.
|
|
* algebra/net.spad.pamphlet (InputBinaryFile): Likewise.
(OutputBinaryFile): Likewise.
* interp/sys-utility.boot (openBinaryFile): New.
(readByteFromFile): Likewise.
(writeByteToFile): Likewise.
(closeFile): Likewise.
|
|
unused local decompose function.
|
|
definition for Rep. Tidy.
|
|
Remove uses of pretend. Define Rep.
|
|
|
|
|
|
|