Changeset 4058 for trunk/ProjectFortress/tests
- Timestamp:
- 08/10/09 12:45:17 (4 months ago)
- Files:
-
- 1 modified
-
trunk/ProjectFortress/tests/oprTests.fss (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/ProjectFortress/tests/oprTests.fss
r3550 r4058 65 65 n (n + 1) sin 3 n x log log x 66 66 aa: ZZ32[3] = [1 2 3] 67 reduce(_:(ZZ32,ZZ32)->ZZ32) = fn xx:ZZ32[3]=> 167 reduce(_:(ZZ32,ZZ32)->ZZ32) = fn (xx:ZZ32[3]) => 1 68 68 f(_:ZZ32,_:ZZ32):ZZ32 = 0 69 69 reduce(f)(aa)(x + 1)atan(x + 2)

