open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-07-03	Fix AW/428	dos-reis	1	-0/+5
	* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-05-29	Fix AW/421.	dos-reis	1	-0/+3
	* interp/i-spec2.boot (uphas): When compiling a function, don't bother evaluating type variables. * testsuite/interpreter/aw-412.input: Add.
2008-05-29	* interp/i-analy.boot (conceptualType): Only Mode, Domain, and	dos-reis	1	-0/+10
	Category are conceptually abstract. * testsuite/interpreter/category.input: Add a testcase.
2008-05-29	* interp/showimp.boot (showPredicates): Fix typo.	dos-reis	1	-0/+1
	* testsuite/interpreter/show.input: New.
2008-05-18	* interp/i-object.boot (wrapped2Quote): Reomve.	dos-reis	1	-0/+1
	(getValueNormalForm): New. * interp/i-code.boot (intCodeGenCOERCE): Use it. * interp/i-coerce.boot (coerceIntByMap): Likewise. * interp/i-eval.boot (getArgValue): Likewise. (getArgValue2): Likewise. * interp/i-funsel.boot (selectMms): Likewise. * interp/i-map.boot (rewriteMap): Likewise. * interp/i-spec2.boot (IFcodeTran): Likewise. (evalLET): Likewise. (upreturn): Likewise. * interp/g-cndata.boot (isConstructorName): New. * testsuite/interpreter/eval-dep-type.input: New.
2008-01-25	Fix AW/272	dos-reis	1	-0/+18
	* interp/i-spec1.boot (compileADEFBody): Don't evaluate unnamed functions. Compile them instead. * testsuite/interpreter/aw-272.input: New.
2008-01-17	Fix SF/1849734	dos-reis	1	-0/+6
	* interp/i-spec1.boot (upand): Don't insist on having operands of type Boolean. (upor): Likewise. * algebra/mkrecord.spad.pamphlet (Pair): New domain constructor. * algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic, PropositionalFormula. * algebra/boolean.spad.pamphlet (PropositionalFormula): New domain constructor. * algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include PAIR.o. (axiom_algebra_layer_19): Include PROPFRML.o * share/algebra: Update databases. * testsuite/interpreter/1849734.input: New.
2008-01-17	extend the case.spad case.input to test the whole Syntax domain.	chaosii	2	-0/+60

2008-01-15	* algebra/syntax.spad (autoCoerce$Syntax): Add overloads.	dos-reis	2	-0/+15
	* interp/compiler.boot (coerceExtraHard): Always coerce by autoCoerce. * testsuite/interpreter/case.spad: Likewise. * testsuite/interpreter/case.input: New.
2008-01-13	Fix SF/1852076	dos-reis	1	-0/+3
	* algebra/domain.spad (reify$Domain): Specify target type of conversion. * interp/nrunfast.boot (newLookupInDomain): Tidy. (newLookupInCategories): Likewise. * testsuite/interpreter/1852076.input: New.