File: unknown.tst

package info (click to toggle)
gap 4r4p12-2
  • links: PTS
  • area: main
  • in suites: squeeze, wheezy
  • size: 29,584 kB
  • ctags: 7,113
  • sloc: ansic: 98,786; sh: 3,299; perl: 2,263; makefile: 498; asm: 63; awk: 6
file content (91 lines) | stat: -rw-r--r-- 1,389 bytes parent folder | download | duplicates (3)
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
84
85
86
87
88
89
90
91
#############################################################################
##
#W  unknown.tst                GAP Library                      Thomas Breuer
##
#H  @(#)$Id: unknown.tst,v 4.5.4.4 2005/08/29 14:50:35 gap Exp $
##
#Y  Copyright (C)  1996,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  Exclude from testall.g: why?
##

gap> START_TEST("$Id: unknown.tst,v 4.5.4.4 2005/08/29 14:50:35 gap Exp $");

gap> LargestUnknown:= 0;;
gap> u:= Unknown();
Unknown(1)
gap> IsUnknown( u );
true
gap> IsUnknown( 1 );
false
gap> u = Unknown( 1 );
true
gap> u = Unknown();
false
gap> Unknown() = u;
false
gap> u = 1;
false
gap> 1 = u;
false
gap> u < Unknown( 1 );
false
gap> u < Unknown();
true
gap> Unknown() < u;
false
gap> u < 1;
false
gap> 1 < u;
true
gap> u + u;
Unknown(6)
gap> u + 1;
Unknown(7)
gap> u + 0;
Unknown(1)
gap> 1 + u;
Unknown(8)
gap> 0 + u;
Unknown(1)
gap> u - u;
0
gap> u - Unknown();
Unknown(10)
gap> u - 1;
Unknown(11)
gap> u - 0;
Unknown(1)
gap> 0 - u;
Unknown(12)
gap> u * Unknown();
Unknown(14)
gap> u * 1;
Unknown(1)
gap> u * 2;
Unknown(15)
gap> 1 * u;
Unknown(1)
gap> 2 * u;
Unknown(16)
gap> u * 0;
0
gap> 0 * u;
0
gap> u / 1;
Unknown(1)
gap> u / 2;
Unknown(17)
gap> u ^ 0;
1
gap> u ^ 1;
Unknown(1)
gap> u ^ 2;
Unknown(18)

gap> STOP_TEST( "unknown.tst", 200000 );

#############################################################################
##
#E