open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2012-02-12	* algebra/coerce.spad.pamphlet (Type): Redefine as empty Join.	dos-reis	1	-3/+2
	* interp/category.boot (Join): Handle empty argument list.
2009-10-15	* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.	dos-reis	1	-1/+1

2008-11-20	Fix documentation	dos-reis	1	-4/+2

2008-11-20	* algebra/coerce.spad.pamphlet (HomotopicTo): New.	dos-reis	1	-0/+19
	* algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP.
2008-11-20	* algebra/coerce.spad.pamphlet (CoercibleFrom): New.	dos-reis	1	-6/+62
	(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-01-14	* interp/compiler.boot (compSymbol): Don't handle possible	dos-reis	1	-1/+20
	case views here. (hasUniqueCaseView): Rename from getUniqueCaseView. Take the target mode as second argument. (compForm2): Use calling convention vector to determine infer flag parameter types. (compCase1): Uniformly handle `case-expressions'. Call genDeltaEntry for selected operator. (coerceExtraHard): Handle coercions from UnionType domains. (autoCoerceByModemap): Tidy. * interp/g-opt.boot (optCall): Be more verbose in diagnostics. * algebra/syntax.spad (Syntax): Rework. * algebra/coerce.spad.pamphlet (UnionType): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include UTYPE.o * share/algebra: Update databases.
2007-08-14	Initial population.	dos-reis	1	-0/+125