<html><head><style type="text/css">.style1 {font-family: "Times New Roman";}</style></head><body>On 07/11/2018 07:51, David Carlisle wrote:<BR>
> h also the sts probably need updating to<BR>
> match:<BR>
<BR>
done<BR>
<BR>
<a href="https://www.openmath.org/sts/interval1.html#oriented_interval" target="_blank">https://www.openmath.org/sts/interval1.html#oriented_interval</a><BR>
<br /><br /><p style="font-family: Verdana; font-size:10pt; color:#666666;"><b>Disclaimer</b></p><p style="font-family: Verdana; font-size:8pt; color:#666666;">The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. Please see our <A href="https://www.nag.co.uk/content/privacy-notice">Privacy Notice</A> for information on how we process personal data and for details of how to stop or limit communications from us.<br /><br />This e-mail has been scanned for all viruses and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business.</p>
</body></html>