OpenMath.github.io/sts/bigfloat.xhtml at fixing-broken-links · OpenMath/OpenMath.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
<?xml version="1.0"?>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:om="http://www.openmath.org/OpenMath" xmlns:sts="http://www.openmath.org/OpenMathCDS">
  <head>
    <title>bigfloat</title>
    <link rel="stylesheet" href="../cd/omcd.css" type="text/css"/>
  </head>
  <body><h1>OpenMath Signatures</h1><hr/><p>
      Type System:
      <a href="../cd/sts.html">sts</a><br/>
      Content Dictionary:
      <a href="../cd/bigfloat.xhtml">bigfloat</a><br/>
      CD Signature File:
      <a href="bigfloat.sts">bigfloat.sts</a></p><hr/>
 official

<pre><b>
Date:  1999-07-13
Author: James Davenport
</b></pre>

<hr/><h2><a name="bigfloat">bigfloat</a></h2><pre>
&lt;OMOBJ xmlns="http://www.openmath.org/OpenMath"&gt;
 &lt;OMA&gt;
   &lt;OMS name="mapsto" cd="sts"/&gt;
   &lt;OMS name="Z" cd="setname1"/&gt;
   &lt;OMS name="Z" cd="setname1"/&gt;
   &lt;OMS name="Z" cd="setname1"/&gt;
   &lt;OMV name="BigFloat"/&gt;
 &lt;/OMA&gt;
&lt;/OMOBJ&gt;
</pre>


(
 <a href="../cd/setname1.xhtml#Z">Z</a>  <a href="../cd/setname1.xhtml#Z">Z</a>  <a href="../cd/setname1.xhtml#Z">Z</a>
 &gt;&gt;
 BigFloat
)


<p><a href="../cd/bigfloat.xhtml#bigfloat">Content Dictionary Entry.</a></p><hr/><table width="100%"><tr><td align="right"><font size="-1">
          [First:
          <a href="#"/>]

          [Last:
          <a href="#"/>]

      [<a href="#top">Top</a>]
    </font></td></tr></table><hr/>


<hr/><h2><a name="bigfloatprec">bigfloatprec</a></h2><pre>
&lt;OMOBJ xmlns="http://www.openmath.org/OpenMath"&gt;
 &lt;OMA&gt;
   &lt;OMS name="mapsto" cd="sts"/&gt;
   &lt;OMV name="BigFloat"/&gt;
   &lt;OMS name="Z" cd="setname1"/&gt;
   &lt;OMS name="Z" cd="setname1"/&gt;
   &lt;OMV name="BigFloat"/&gt;
 &lt;/OMA&gt;
&lt;/OMOBJ&gt;
</pre>


(
 BigFloat  <a href="../cd/setname1.xhtml#Z">Z</a>  <a href="../cd/setname1.xhtml#Z">Z</a>
 &gt;&gt;
 BigFloat
)


<p><a href="../cd/bigfloat.xhtml#bigfloatprec">Content Dictionary Entry.</a></p><hr/><table width="100%"><tr><td align="right"><font size="-1">
          [First:
          <a href="#"/>]

          [Last:
          <a href="#"/>]

      [<a href="#top">Top</a>]
    </font></td></tr></table><hr/>

</body>
</html>