31 lines
812 B
JavaScript
31 lines
812 B
JavaScript
import PocomathInstance from '../../core/PocomathInstance.mjs'
|
|
|
|
/* Use a plain object with keys re and im for a complex; note the components
|
|
* can be any type (for this proof-of-concept; in reality we'd want to
|
|
* insist on some numeric or scalar supertype).
|
|
*/
|
|
function isComplex(z) {
|
|
return z && typeof z === 'object' && 're' in z && 'im' in z
|
|
}
|
|
|
|
const Complex = new PocomathInstance('Complex')
|
|
Complex.installType('Complex', {
|
|
test: isComplex,
|
|
from: {
|
|
number: x => ({re: x, im: 0})
|
|
}
|
|
})
|
|
Complex.installType('GaussianInteger', {
|
|
test: z => typeof z.re == 'bigint' && typeof z.im == 'bigint',
|
|
refines: 'Complex',
|
|
from: {
|
|
bigint: x => ({re: x, im: 0n})
|
|
}
|
|
})
|
|
|
|
Complex.promoteUnary = {
|
|
Complex: ({self,complex}) => z => complex(self(z.re), self(z.im))
|
|
}
|
|
|
|
export {Complex}
|