open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2011-03-12	* src/algebra/: Systematically use negative? when comparing for	dos-reis	1	-0/+5
2011-03-12	* src/algebra/: Systematically use negative? when comparing for	dos-reis	1	-0/+5
2011-03-12	* src/algebra/: Systematically use negative? when comparing for	dos-reis	1	-0/+5
2011-03-12	* algebra/si.spad.pamphlet (IntegerNumberSystem) [positive?]:	dos-reis	1	-0/+9
2011-03-12	* algebra/catdef.spad.pamphlet (OrderedAbelianGroup): Export	dos-reis	1	-0/+7
2011-03-10	* algebra/catdef.spad.pamphlet (CharacteristicNonZero)	dos-reis	1	-0/+12
2011-03-10	* interp/c-util.boot (equalFormTemplate): Tidy comparison of value	dos-reis	1	-0/+5
2011-03-10	* interp/c-util.boot (mutateArgumentList): New.	dos-reis	1	-0/+10
2011-03-10	* interp/c-util.boot (resolveConstantForm): New. Split out of	dos-reis	1	-0/+6
2011-03-09	* algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Now	dos-reis	1	-0/+12
2011-03-09	* algebra/catdef.spad.pamphlet (EuclideanDomain)	dos-reis	1	-0/+7
2011-03-09	* interp/g-opt.boot: %pair, %list, %vector, %bitvector are now	dos-reis	1	-0/+7
2011-03-09	* interp/g-opt.boot (semiSimpleRelativeTo?): Consider conditionals.	dos-reis	1	-0/+4
2011-03-08	* algebra/catdef.spad.pamphlet (SemiRing): New category.	dos-reis	1	-0/+4
2011-03-07	* interp/sys-utility.boot (getSystemModulePath): Use	dos-reis	1	-0/+20
2011-03-07	* algebra/si.spad.pamphlet (SingleInteger): Logic is indirectly	dos-reis	1	-0/+5
2011-03-06	* interp/i-eval.boot (mkEvalable): Simplify.	dos-reis	1	-1/+8
2011-03-06	* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %c2s.	dos-reis	1	-0/+8
2011-03-05	* interp/as.boot: Use getConstructorAbbreviationFromDB.	dos-reis	1	-0/+19
2011-03-05	* interp/nrunopt.boot: Move content to define.boot, interop.boot,	dos-reis	1	-0/+5
2011-03-03	* interp/nrungo.boot: Move content to buildom.boot, i-map.boot,	dos-reis	1	-0/+5
2011-03-02	* interp/i-eval.boot (mkEvalable): Exit early on niladic constructors.	dos-reis	1	-0/+8
2011-03-01	* interp/info.boot: Move content to modemap.boot. Delete.	dos-reis	1	-0/+4
2011-02-28	* interp/i-code.boot: Move content to i-coerce.boot. Delete.	dos-reis	1	-0/+4
2011-02-28	* algebra/boolean.spad.pamphlet (PropositionalFormula):	dos-reis	1	-0/+5
2011-02-28	* interp/i-analy.boot (elaborateTree): New.	dos-reis	1	-0/+7
2011-02-27	* interp/i-analy.boot (bottomUpWithArgModesets): Split out of	dos-reis	1	-0/+6
2011-02-27	* interp/Makefile.in (OBJS): Remove i-spec1.$(FASLEXT) and	dos-reis	1	-0/+7
2011-02-27	* algebra/outform.spad.pamphlet (OutputForm) [infix?]: Rewrite.	dos-reis	1	-0/+4
2011-02-26	* interp/g-opt.boot (optCond): Recognize conjunction and	dos-reis	1	-0/+5
2011-02-26	* interp/nruncomp.boot (optDeltaEntry): Don't SPADCALL the	dos-reis	1	-0/+9
2011-02-26	* interp/g-opt.boot (canInlineVarDefinition): Observe order of	dos-reis	1	-0/+5
2011-02-26	* interp/g-opt.boot (optNot): Push %not inside conditionals.	dos-reis	1	-0/+5
2011-02-26	* interp/parse.boot (parseLessEqual): Remove.	dos-reis	1	-0/+4
2011-02-25	* algebra/fmod.spad.pamphlet (IntegerMod): Simplify implementation.	dos-reis	1	-0/+4
2011-02-25	* boot/tokens.boot: makeSymbol is not a builtin function.	dos-reis	1	-0/+57
2011-02-24	* interp/sys-macros.lisp (shellEntry): New.	dos-reis	1	-0/+15
2011-02-24	* interp/c-util.boot (isSimple): Accept constructor instantiations.	dos-reis	1	-0/+8
2011-02-22	* boot/tokens.boot: mmSource is a new selector for modemap datatype.	dos-reis	1	-0/+15
2011-02-22	* interp/g-opt.boot (optCond): Recognize conjunctive guard as	dos-reis	1	-0/+5
2011-02-20	* interp/parse.boot (transSeq): Aggregate branches of toplevel	dos-reis	1	-0/+5
2011-02-15	* interp/compiler.boot (coerceExtraHard): Explicitly fail if	dos-reis	1	-0/+5
2011-02-14	* interp/compiler.boot (getUnionMode): Remove.	dos-reis	1	-0/+11
2011-02-14	* interp/c-util.boot (getSuccessEnvironment): Follow through	dos-reis	1	-0/+6
2011-02-13	* interp/buildom.boot (mkNewUnionFunList): Align arity of	dos-reis	1	-0/+9
2011-02-13	* interp/g-opt.boot (optCond): Get rid of double negatives when	dos-reis	1	-0/+8
2011-02-12	* interp/compiler.boot (compCons1): Use coerce not convert.	dos-reis	1	-0/+11
2011-02-12	* interp/compiler.boot (compExpressionList): Remove.	dos-reis	1	-0/+5
2011-02-12	* interp/g-opt.boot (changeVariableDefinitionToStore): Tidy.	dos-reis	1	-0/+4
2011-02-11	* interp/g-opt.boot (dependentVars): New.	dos-reis	1	-0/+5