AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

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

Domain

← Back to list of classes

Description

Summary

The codomain an Entity node is read over: the values it is allowed to take
before it is NaN.

Remarks

A member of this enum is a constraint on a node, not a mathematical object. Seven of
them also name a set — Create(AngouriMath.Core.Domain) maps those seven
to BB, ZZ+, ZZ*, ZZ, QQ, RR and CC — and Any does not,
because "no constraint" is not a collection of values. Sets are
Sets and are reasoned about with membership, union and difference;
a domain is not, and the two are deliberately different types.
 The members are ordered from narrowest to widest and are compared as such — evaluation
asks Codomain < Domain.Complex to mean "narrower than the complex plane", and
DomainConditionIn(AngouriMath.Core.Domain) narrows a node whose codomain is
wider than the reading it is asked in. Any is the top of that order,
which is what makes it the identity for narrowing rather than a set of everything.
 Distinct from Codomain, which is the ambient reading a
question is asked in and applies to nodes that do not constrain themselves. A node's own
codomain says what that node is declared over; the ambient one says what the library
should take an unconstrained node to be.

Members

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4405 pages online