Ideas.Text.OpenMath.FMP

Formal mathematical properties (FMP)

Documentation

data FMP

Constructors

FMP

Fields

• quantor :: Symbol
• metaVariables :: [String]
• leftHandSide :: OMOBJ
• relation :: Symbol
• rightHandSide :: OMOBJ

toObject :: FMP -> OMOBJ

eqFMP :: OMOBJ -> OMOBJ -> FMP

buggyFMP :: OMOBJ -> OMOBJ -> FMP

Represents a common misconception. In certain (most) situations, the two objects are not the same.