On Mon, May 12, 2008 11:41 pm, Christoph LANGE wrote: > Dear James, dear David, dear all, > > I just realised that one of my questions remained open. Now that we can > assume that there is a CDSignatures/@cdbase or otherwise the default CD > base at openmath.org is used, > > On Friday 09 May 2008 13:28:29 Christoph LANGE wrote: >> Does it always >> make sense to assume the same CDBase both for resolving >> CDSignatures/@type >> and CDSignatures/@cd? For my own needs this questions is a hypothetical >> one, but still, could there be a case where the type system CD is in a >> different place? I'm really not up to speed on this. If, as I thought, the argument of CDSignature is an MOBJ, then it could specify its own cdbase. I think it IS reasonable to specify that, whatever the type system is, the type should BE an OMOBJ.
James Davenport Hebron & Medlock Professor of Information Technology Formerly RAE Coordinator, and still grant-writer Still Undergraduate Director of Studies, CS Dept Lecturer on CM30070, 30078, 50209, 50123 Chairman, Powerful Computing WP, University of Bath OpenMath Content Dictionary Editor _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
