aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/interp.daase
AgeCommit message (Collapse)AuthorFilesLines
2010-10-27 * interp/c-util.boot (makeCommonEnvironment): Use list node pointerdos-reis1-4140/+4140
comparaison, not object comparaison.
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic) [~]: Add defaut.dos-reis1-5452/+5456
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.dos-reis1-3707/+3707
2010-10-27 * algebra/boolean.spad.pamphlet (Logic): Now extend Type.dos-reis1-4563/+4563
2010-07-28 * algebra/integer.spad.pamphlet (Integer): Use builtin functionsdos-reis1-4570/+4570
%irem and %iquo. * algebra/si.spad.pamphlet (SingleInteger): Likewise.
2010-07-22 * interp/g-util.boot (expandIeq): New expander for %ieq.dos-reis1-4566/+4566
* interp/g-opt.boot (optIeq): New. (optIadd): Likewise. (optIsub): Likewise. (optImul): Likewise. (optIneg): Likewise. (lispize): Remove.
2010-07-19 * interp/g-opt.boot ($VMsideEffectFreeOperators): Includedos-reis1-5293/+5313
byte relation operators and bitmakst operators. * interp/g-util.boot: Expand them. * algebra/data.spad.pamphlet (Byte): Now satisfies Logic. Tidy. (SystemNonNegativeInteger): Likewise. * algebra/java.spad.pamphlet (JVMBytecode): Rename from JavaBytecode. (JVMClassFileAccess): New. (JVMFieldAccess): Likewise. (JVMMethodAccess): Likewise. (JVMConstantTag): Likewise. (JVMOpcode): Likewise.
2010-07-13small cleanupdos-reis1-3951/+3951
2010-07-13 * interp/g-opt.boot: %sname is a side-effect free operator.dos-reis1-4545/+4545
* interp/g-util.boot: Expand it. * algebra/syntax.spad.pamphlet (Identifer): Now satisfies CoercibleTo String.
2010-07-11 * interp/database.boot (markUnique): Remove.dos-reis1-4547/+4547
($FunctionDescriptorTail): Likewise. (getOperationAlistFromLisplib): Likewise. (getOplistForConstructorForm): Adjust. * interp/br-op1.boot (getDomainOpTable): Likewise. * interp/br-op2.boot (koOps): Likewise. * interp/define.boot (genDomainViewList): Likewise. * interp/i-analy.boot (namedConstant): Likewise. * interp/i-coerce.boot (getConstantFromDomain): Likewise. * interp/i-funsel.boot (isOpInDomain): Likewise. (findCommonSigInDomain): Likewise. (findUniqueOpInDomain): Likewise. (hasSig): Likewise. * interp/i-spec2.boot (constantInDomain?): Likewise. * interp/trace.boot (spadTrace): Likewise. * interp/lisplib.boot (transformOperationAlist): Simplify.
2010-07-10 * interp/database.boot (addConsDB): Remove.dos-reis1-4545/+4545
(getOperationAlistFromLisplib): Don't call it. * interp/sys-driver.boot (initializeGlobalState): Remove kludge. * interp/util.lisp (BUILD-INTERPSYS): Likewise.
2010-07-05 * interp/compiler.boot (compTopLevel): Bind $whereDecls.dos-reis1-4545/+4545
(recordDeclarationInSideCondition): New. Update it. (compWhere): Call it. * interp/define.boot ($whereDecls): Define at toplevel. (typeDependencyPath): New. (inferConstructorImplicitParameters): Likewise. (compDefineFunctor1): Use it.
2010-07-03 * algebra/vector.spad.pamphlet (DualBasis): New.dos-reis1-5370/+5382
(LinearBasis): Likewise. (LinearElement): Use them. (LinearForm): New.
2010-07-01 * interp/define.boot (registerInlinableDomain): New.dos-reis1-4530/+4530
(compAdd): Use it to promote base domains for inlining. * interp/c-util.boot (lookupFunctionInstance): Foeld into lookupDefiningFunction. Remove. (lookupDefiningFunction): Evaluate only system domains to avoid cycles.
2010-06-30 * interp/c-util.boot (giveVariableSomeValue): New.dos-reis1-5255/+5259
* interp/compiler.boot (setqMultiple): Use it. (compColon): Likewise. (compRetractGuard): Likewise. (compRecoverDomain): Likewise. (defineMatchScrutinee): Likewise. (compStepIterator): Likewise. (compIterator): Likewise. (compUnnamedMapping): Likewise. * interp/define.boot (giveFormalParametersValues): Likewise. * interp/wi1.boot (setqMultiple): Likewise. * interp/wi2.boot (compIterator): Likewise. (smallIntegerStep): Likewise.
2010-06-30More cleanupsdos-reis1-3838/+3838
2010-06-30More cleanupsdos-reis1-4537/+4537
2010-06-29Various cleanupsdos-reis1-4444/+4444
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis1-4459/+4459
[indexedDirectProductObject]: New. (IndexedDirectProductAbelianMonoid): Rework implementation. [construct]: Likewise.
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New.dos-reis1-5107/+5111
2010-06-29 * algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.dos-reis1-5108/+5104
(OrderedType) [max,min]: Export and provide defaults. (OrderedSet): Simplify. (SetCategory) [before?]: Move to BasicType.
2010-06-29Update databasesdos-reis1-5102/+5111
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New category.dos-reis1-3627/+3627
Extend BasicType.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-3650/+3650
[terms]: Rename from support.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory):dos-reis1-2/+2
Rework implementation.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-4516/+4516
[support]: New. (IndexedDirectProductObject): Implement.
2010-06-27 * algebra/matcat.spad.pamphlet (MatrixCategory) [matrix]:dos-reis1-3725/+3725
Add overload that takes sizes and function to compute entries.
2010-06-27 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)dos-reis1-4556/+4556
[leftReducedSystem]: Rename from reducedSystem.
2010-06-26Update databasesdos-reis1-3725/+3725
2010-06-26 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfydos-reis1-3996/+3997
BasicType if element type satisfies it.
2010-06-26 * algebra/string.spad.pamphlet (StringCategory): Remove.dos-reis1-4756/+4751
(String): Adjust.
2010-06-26 * interp/g-util.boot: Expand %f2s.dos-reis1-4516/+4516
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %f2s. * algebra/string.spad.pamphlet (StringCategory) [string]: Add overload DoubleFloat -> %. (String): Define it.
2010-06-26 * interp/compiler.boot (compString): Remove as unused.dos-reis1-4525/+4525
* interp/mark.boot (compString): Likewise. * algebra/string.spad.pamphlet (StringCategory): Remove obsolete comments. Remove redundant SetCategory extension.
2010-06-25 * interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.dos-reis1-4527/+4527
* interp/g-util.boot: Expand it. * algebra/aggcat.spad.pamphlet: Cleanup. * algebra/any.spad.pamphlet: Likewise. * algebra/boolean.spad.pamphlet: Likewise. * algebra/data.spad.pamphlet: Likewise. * algebra/domain.spad.pamphlet: Likewise. * algebra/files.spad.pamphlet: Likewise. * algebra/laurent.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/mappkg.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/padic.spad.pamphlet: Likewise. * algebra/pattern.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise. * algebra/table.spad.pamphlet: Likewise.
2010-06-19 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)dos-reis1-3720/+3720
[reducedSystem]: Add overload. * algebra/si.spad.pamphlet (SingleInteger)[reducedSystem]: Tidy.
2010-06-19 * algebra/catdef.spad.pamphlet (LeftLinearSet): Remove declarationdos-reis1-4531/+4531
for 0 and zero? (RightLinearSet): Likewise.
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialModule): Tidy.dos-reis1-5338/+5348
(DifferentialModuleExtension): Likewise. (PartialDifferentialModule): New.
2010-06-18 * algebra/fparfrac.spad.pamphlet (FullPartialFractionExpansion):dos-reis1-4424/+4424
Now satisfies DifferentialSpace. * algebra/gseries.spad.pamphlet (GeneralUnivariatePowerSeries): Now satisfies an instance of PartialDifferentialDomain. * algebra/laurent.spad.pamphlet (UnivariateLaurentSeries): Likewise. * algebra/puiseux.spad.pamphlet (UnivariatePuiseuxSeries): Likewise. * algebra/suls.spad.pamphlet (SparseUnivariateLaurentSeries): Likewise. * algebra/supxs.spad.pamphlet (SparseUnivariatePuiseuxSeries): Likewise. * algebra/suts.spad.pamphlet (SparseUnivariateTaylorSeries): Likewise. * algebra/taylor.spad.pamphlet (UnivariateTaylorSeries): Likewise.
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialExtension): Nowdos-reis1-5352/+5348
extends DifferentialSpaceExtension.
2010-06-18Update databasesdos-reis1-4534/+4534
2010-06-17 * algebra/catdef.spad.pamphlet (DifferentialSpaceExtension): New.dos-reis1-5324/+5333
(DifferentialModuleExtension): Likewise.
2010-06-17 * algebra/vector.spad.pamphlet (DirectProductCategory): Extenddos-reis1-3753/+3753
AbelianMonoid if element type satisfies AbelianMonoid. Extend AbelianGroup if element type satisfies AbelianGroup. Extend Module R if R satisfies CommutativeRing; remove bogus Algebra R and CommutativeRing extension.
2010-06-17 * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): New.dos-reis1-5051/+5056
(PartialDifferentialRing): Now extend PartialDifferentialSpace.
2010-06-17 * algebra/vector.spad.pamphlet (DirectProductCategory): Extenddos-reis1-3747/+3747
LinearSet if the coefficient type satifies Monoid. Remove previous bogus extension of Monoid. Similarly, extend OrderedSet if the element type satisfies OrderedSet. Remove previous bogus extension of OrderedRing.
2010-06-17 * algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirementdos-reis1-4108/+4108
on argument. (RightLinearSet): Likewise. (LinearSet): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialModule): New.dos-reis1-5328/+5342
(PartialDifferentialDomain): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-5329/+5325
DifferentialSpace.
2010-06-16 * algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):dos-reis1-4074/+4074
Extend DifferentialSpace.
2010-06-15Update cached databasedos-reis1-5319/+5328
2010-06-14 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver): Nowdos-reis1-3805/+3805
extends LeftModule R. [reducedSystem: Vector % -> Matrix R]: New overload. * algebra/lindep.spad.pamphlet (LinearDependence): Additionally require Ring on the second parameter. (IntegerLinearDependence): Add similar requirement on the parameter.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 12:42:55 +0000