aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/domain.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2011-08-18 * interp/c-util.boot (categoryAssociatedTypes): Rename fromdos-reis1-4/+4
categoryHierarchy. Adjust callers. (categoryPrincipals): New. (categoryAncestors): Likewise. (categoryLocals): Likewise. (categoryParameters): Likewise. (extendsCategoryForm): Use them. * interp/category.boot: Likewise. * interp/cattable.boot: Likewise. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/modemap.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/database.boot (getCategoryAttributes): Remove. (getPrincipalAncestors): Likewise. (getCategoryParents): Likewise. * algebra/domain.spad.pamphlet (Category): Adjust.
2011-05-17cleanupdos-reis1-2/+2
2011-05-02cleanupdos-reis1-1/+1
2011-02-08clean up dos-reis1-6/+6
2011-02-04 * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lispdos-reis1-1/+1
level operators. Include %property and %bitveclt. * interp/lisp-backend.boot: Expand them. * algebra/si.spad.pamphlet (SingleInteger): Tidy. Use %ismall?. * algebra/domain.spad.pamphlet (DomainConstructo): Use %property. * algebra/outform.spad.pamphlet (OutputForm): Likewise. * algebra/boolean.spad.pamphlet (IndexedBits): Use %bitveclt.
2011-01-31 * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove QCDR,dos-reis1-7/+16
QCAR. SYMBOLP, GREATERP. Add %ibit, %ilength, %ident, %equal. * interp/g-util.boot: Expand them * algebra/any.spad.pamphlet: Tidy. * algebra/catdef.spad.pamphlet: Likewise. * algebra/data.spad.pamphlet: Likewise. * algebra/domain.spad.pamphlet: Likewise. * algebra/float.spad.pamphlet: Likewise. * algebra/fname.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/random.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/symbol.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise.
2011-01-02 * interp/nrunfast.boot (evalSlotDomain): Expand to VM forms beforedos-reis1-8/+9
value argument evaluation. (lazyMatch): Check for %llength too. * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %2bit and %2bool. * interp/g-util.boot: Expand them. * interp/define.boot (compJoin): Check for %llenght too. * algebra/boolean.spad.pamphlet: Tidy. * algebra/domain.spad.pamphlet: Likewise. * algebra/draw.spad.pamphlet: Likewise. * algebra/files.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Likewise.
2010-07-11Forgot to commit change thisdos-reis1-1/+1
2010-06-25 * interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.dos-reis1-3/+3
* 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-05-30 * interp/c-util.boot (middleEndExpand): Tidy.dos-reis1-9/+12
* interp/g-util.boot (expandToVMForm): Likewise. (expandStore): Refine store to pair components. * algebra/any.spad.pamphlet (Scope): Use builtin operators. (Environment): Likewise. * algebra/domain.spad.pamphlet (FunctionDescriptor): Likewise. (ConstructorCall): Likewise. (FunctorData): Likewise. (OperatorSignature): Likewise. (Category): Likewise. (Domain): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. (NonNegativeInteger): Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/syntax.spad.pamphlet (Syntax): Likewise.
2010-04-26 * algebra/carten.spad.pamphlet (CartesianTensor): Satisfydos-reis1-3/+1
instantiation of Eltable. * algebra/clifford.spad.pamphlet (QuadraticForm): Likewise. * algebra/domain.spad.pamphlet (DomainTemplate): Likewise. * algebra/files.spad.pamphlet (Library): Likewise. * algebra/aggcat.spad.pamphlet (LinearAggregate): Extend instantiation of Eltable. * algebra/naalg.spad.pamphlet (FiniteRankNonAssociativeAlgebra): Likewise. * algebra/pscat.spad.pamphlet (UnivariatePowerSeriesCategory): Likewise. * algebra/sex.spad.pamphlet (SExpressionCategory): Likewise. * algebra/Makefile.pamphlet: Update rules.
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2009-06-17 * algebra/domain.spad.pamphlet: ConstructorCall is nowdos-reis1-9/+9
parameterized by the constructor category.
2009-06-11 * algebra/: Remove quotes from operator namaes in signatures.dos-reis1-2/+2
2009-06-07 * algebra/domain.spad.pamphlet (DomainTemplate): New.dos-reis1-2/+75
(FunctorData): Likewise. (functorData$DomainConstructor): Likewise.
2009-05-21 * algebra/catdef.spad.pamphlet (before?$SetCategory): New.dos-reis1-1/+1
2009-04-27 * algebra/domain.spad.pamphlet (Constructor): Use Identifier.dos-reis1-2/+1
2009-02-09Tidy FunctionDescriptordos-reis1-1/+1
2009-02-02 * algebra/domain.spad.pamphlet (FunctionDescriptor): New.dos-reis1-1/+62
(OverloadSet): Likewise. (operations$ConstructorCategory): Likewise. * share/algebra: Update databases.
2009-01-28 * algebra/domain.spad.pamphlet (findConstructor$Constructor): New.dos-reis1-1/+9
2008-12-26 r12485@gauss: gdr | 2008-12-17 16:26:21 -0600dos-reis1-28/+228
Branch to improve reflection. r12493@gauss: gdr | 2008-12-20 23:29:51 -0600 Add domain representations for constructors. r12494@gauss: gdr | 2008-12-21 14:27:37 -0600 Consolidate constructor domains. r12502@gauss: gdr | 2008-12-22 20:36:21 -0600 Constructors are values. r12504@gauss: gdr | 2008-12-25 13:58:01 -0600 r12505@gauss: gdr | 2008-12-25 18:48:04 -0600 Commit ChangeLog.
2008-10-09 * algebra/domain.spad.pamphlet (ConstructorKinid): New domain.dos-reis1-1/+58
(Constructor): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CTORKIND. (axiom_algebra_layer_user): Include CTOR.
2008-08-30More explicit importdos-reis1-0/+4
2008-07-03 Fix AW/428dos-reis1-2/+5
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-02-19 * algebra/variable.spad.pamphlet (AnonymousFunction): Add newdos-reis1-0/+109
functions `parameters' and `body'. * algebra/domain.spad.pamphlet: Rename from algebra/domain.spad. (Category): New category. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CATEGORY.o. (DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule. * interp/trace.boot (transTraceItem): Use $LangSupportTypes. * interp/sys-constants.boot ($None): New. ($Type): Likewise. ($LangSupportTypes): Likewise. * interp/parse.boot (parseHas): Use $LangSupportTypes. (parseHasRhs): Likewise. * interp/i-spec2.boot (upLETtype): Use conceptualType. (uptypeOf): Likewise. (upwhere): Likewise. (typeOfType): Remove. * interp/i-spec1.boot (isDomainValuedVariable): Variables with type Category and Type are domain valued too. * interp/i-output.boot (output): Special case only Mode and Type. * interp/i-funsel.boot (selectMms): Don't ignore modemaps with category parameters. * interp/i-coerce.boot (canCoerce1): Test for Category instead of SubDomain Domain. (canCoerceFrom0): Use $None and $Any. (absolutelyCannotCoerce): Use $None. (coerceInteractive): Use $LangSupportTypes. (coerceInt1): Use $Any. * interp/i-analy.boot (conceptualType): New. (bottomUpType): Use it. * interp/clammed.boot (isValidType): Use $LangSupportTypes. * interp/g-cndata.boot (isNameOfType): Likewise. * interp/category.boot (Category): Remove hacky definition. * interp/buildom.boot ($noCategoryDomains): Domain now has a Lisplib.