ptolemy.domains.pthales.kernel