close
Warning:
Can't synchronize with repository "(default)" (/var/svn/tolp does not appear to be a Subversion repository.). Look in the Trac log for more information.
- Timestamp:
-
Feb 27, 2009, 5:13:40 PM (16 years ago)
- Author:
-
Víctor de Buen Remiro
- Comment:
-
--
Legend:
- Unmodified
- Added
- Removed
- Modified
-
v1
|
v2
|
|
5 | 5 | * Declaración: |
6 | 6 | {{{ |
7 | | Real + (Real x) |
| 7 | Real (Real x) |
8 | 8 | }}} |
9 | 9 | * Descripción: |
… |
… |
|
17 | 17 | * Declaración: |
18 | 18 | {{{ |
19 | | Real - (Real x) |
| 19 | Real (Real x) |
20 | 20 | }}} |
21 | 21 | * Descripción: |
… |
… |
|
29 | 29 | * Declaración: |
30 | 30 | {{{ |
31 | | Real !=var1 != var2 {Anything var1, Anything var2} |
| 31 | Real var1 != var2 {Anything var1, Anything var2} |
32 | 32 | }}} |
33 | 33 | * Descripción: |
… |
… |
|
41 | 41 | * Declaración: |
42 | 42 | {{{ |
43 | | Real %x1 % x2 {Real x1, Real x2} |
| 43 | Real x1 % x2 {Real x1, Real x2} |
44 | 44 | }}} |
45 | 45 | * Descripción: |
… |
… |
|
53 | 53 | * Declaración: |
54 | 54 | {{{ |
55 | | Real &x1 & x2 {Real x1, Real x2} |
| 55 | Real x1 & x2 {Real x1, Real x2} |
56 | 56 | }}} |
57 | 57 | * Descripción: |
… |
… |
|
65 | 65 | * Declaración: |
66 | 66 | {{{ |
67 | | Real *x1 * x2 {Real x1, Real x2} |
| 67 | Real x1 * x2 {Real x1, Real x2} |
68 | 68 | }}} |
69 | 69 | * Descripción: |
… |
… |
|
77 | 77 | * Declaración: |
78 | 78 | {{{ |
79 | | Real +x1 + x2 {Real x1, Real x2} |
| 79 | Real x1 + x2 {Real x1, Real x2} |
80 | 80 | }}} |
81 | 81 | * Descripción: |
… |
… |
|
89 | 89 | * Declaración: |
90 | 90 | {{{ |
91 | | Real -x1 - x2 {Real x1, Real x2} |
| 91 | Real x1 - x2 {Real x1, Real x2} |
92 | 92 | }}} |
93 | 93 | * Descripción: |
… |
… |
|
101 | 101 | * Declaración: |
102 | 102 | {{{ |
103 | | Real /x1 / x2 {Real x1, Real x2} |
| 103 | Real x1 / x2 {Real x1, Real x2} |
104 | 104 | }}} |
105 | 105 | * Descripción: |
… |
… |
|
113 | 113 | * Declaración: |
114 | 114 | {{{ |
115 | | Real <var1 < var2 {Anything var1, Anything var2} |
| 115 | Real var1 < var2 {Anything var1, Anything var2} |
116 | 116 | }}} |
117 | 117 | * Descripción: |
… |
… |
|
125 | 125 | * Declaración: |
126 | 126 | {{{ |
127 | | Real <:x <: A {Anything x, Set A} |
| 127 | Real x <: A {Anything x, Set A} |
128 | 128 | }}} |
129 | 129 | * Descripción: |
… |
… |
|
137 | 137 | * Declaración: |
138 | 138 | {{{ |
139 | | Real <=var1 <= var2 {Anything var1, Anything var2} |
| 139 | Real var1 <= var2 {Anything var1, Anything var2} |
140 | 140 | }}} |
141 | 141 | * Descripción: |
… |
… |
|
149 | 149 | * Declaración: |
150 | 150 | {{{ |
151 | | Real ==var1 == var2 {Anything var1, Anything var2} |
| 151 | Real var1 == var2 {Anything var1, Anything var2} |
152 | 152 | }}} |
153 | 153 | * Descripción: |
… |
… |
|
161 | 161 | * Declaración: |
162 | 162 | {{{ |
163 | | Real >var1 > var2 {Anything var1, Anything var2} |
| 163 | Real var1 > var2 {Anything var1, Anything var2} |
164 | 164 | }}} |
165 | 165 | * Descripción: |
… |
… |
|
173 | 173 | * Declaración: |
174 | 174 | {{{ |
175 | | Real >=var1 >= var2 {Anything var1, Anything var2} |
| 175 | Real var1 >= var2 {Anything var1, Anything var2} |
176 | 176 | }}} |
177 | 177 | * Descripción: |
… |
… |
|
7201 | 7201 | * Declaración: |
7202 | 7202 | {{{ |
7203 | | Real ^x1 ^ x2 {Real x1, Real x2} |
| 7203 | Real x1 ^ x2 {Real x1, Real x2} |
7204 | 7204 | }}} |
7205 | 7205 | * Descripción: |
… |
… |
|
13331 | 13331 | * Declaración: |
13332 | 13332 | {{{ |
13333 | | Real |x1 | x2 {Real x1, Real x2} |
| 13333 | Real x1 | x2 {Real x1, Real x2} |
13334 | 13334 | }}} |
13335 | 13335 | * Descripción: |