Cat::FacadeDomain – the category of façade domains
Cat::FacadeDomain represents the category of façade domains.
Categories
Details:
A Cat::FacadeDomain is a technical category over Cat::BaseCategory to provide basic support for façade domains. A façade domain is a domain that does not create any elements of their own and they represent their elements by basic MuPAD kernel domais.
Reference: “Axioms, Categories and Domains” by Klaus Drescher, January 2002 Automath Technical Report No 1
conversion to a basic domain – expr
Cat::FacadeDomain::conversion to a basic domain({dom, obj})
...
printing method – print
Cat::FacadeDomain::printing method(dom obj)
...
initDomain – domain initialization
Cat::FacadeDomain::initDomain()
Looks for the initDomainAdd methods in the domain itself and in all its super domains (as listed by allSuperDomains), and in all its categories (as listed by allCategories), and executes them one-by-one starting from the last one.
This method is not intended to be called directly by the user. In fact, it should not be called outside the creation of the domain.
Changes in MuPAD 3.1
New Function.