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

TransformationRelation

← Back to list of classes

Description

Summary

What a Transformation claims about its output relative to its input.
Without this, Soundness would be meaningless: "sound" is only a
statement about some relation, and the relation is not the same one for every
operation.

Members

























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