AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

PrintsItsCodomain

Property

Summary

Whether the printers have to spell this node's codomain out, because parsing what they
would otherwise print gives a node with a different one.

Remarks

Any used to be excluded, because the grammar had no way to write
it — the second argument of domain(...) had to be a SpecialSet and there is no node for "no restriction", see
Create(AngouriMath.Core.Domain). A node widened to it from a narrower
default therefore printed as though it had not been, and reading that back gave the
default: abs(x) widened to Any came back Real. The grammar takes
domain(x, Any) now, as a keyword in that one position rather than as a set
literal, so this no longer has to lie by omission.
#1048

AngouriMath

Table of contents

AngouriMath

PrintsItsCodomain