ptolemy.domains.ca.kernel