Comparing relations

During the past week Jan has continued to work on the validated hybrid IVP solver. One of the components of event detection require the solver to determine when events happen arbitrarily close to an endpoint of the time segment over which event detection is performed. Detection is done by using relations that are known to be true and that comprise the same expressions as the event guard. This means that the zero crossing detection described last week that implements relations as plain Scala functions could not be re-used. Instead, one defines a language of expressions and relations for expressing event guards and invariants, enabling syntactic comparison. The current work focuses on employing the obtained event detection to compute the set of possible events that can occur for a system in a given time segment.