@@ -19,66 +19,6 @@ fn op_sort_eval() {
19
19
assert_eq ! ( & actual_output, expected_output. get( "output" ) . unwrap( ) ) ;
20
20
}
21
21
22
- #[ cfg( feature = "poly" ) ]
23
- #[ test]
24
- fn uniq_deri_gcd_eval ( ) {
25
- let t = text:: parse_term (
26
- b"
27
- (declare (
28
- (pairs (array (mod 17) (tuple (mod 17) bool) 5))
29
- )
30
- (uniq_deri_gcd pairs))" ,
31
- ) ;
32
-
33
- let inputs = text:: parse_value_map (
34
- b"
35
- (set_default_modulus 17
36
- (let
37
- (
38
- (pairs (#l (mod 17) ( (#t #f0 false) (#t #f1 false) (#t #f2 true) (#t #f3 false) (#t #f4 true) )))
39
- ) false))
40
- " ,
41
- ) ;
42
- let actual_output = eval ( & t, & inputs) ;
43
- let expected_output = text:: parse_value_map (
44
- b"
45
- (set_default_modulus 17
46
- (let
47
- (
48
- (output (#t
49
- (#l (mod 17) ( #f16 #f0 #f0 #f0 #f0 ) ) ; s, from sage
50
- (#l (mod 17) ( #f7 #f9 #f0 #f0 #f0 ) ) ; t, from sage
51
- ))
52
- ) false))
53
- " ,
54
- ) ;
55
- assert_eq ! ( & actual_output, expected_output. get( "output" ) . unwrap( ) ) ;
56
-
57
- let inputs = text:: parse_value_map (
58
- b"
59
- (set_default_modulus 17
60
- (let
61
- (
62
- (pairs (#l (mod 17) ( (#t #f0 true) (#t #f1 true) (#t #f2 true) (#t #f3 false) (#t #f4 true) )))
63
- ) false))
64
- " ,
65
- ) ;
66
- let actual_output = eval ( & t, & inputs) ;
67
- let expected_output = text:: parse_value_map (
68
- b"
69
- (set_default_modulus 17
70
- (let
71
- (
72
- (output (#t
73
- (#l (mod 17) ( #f8 #f9 #f16 #f0 #f0 ) ) ; s, from sage
74
- (#l (mod 17) ( #f2 #f16 #f9 #f13 #f0 ) ) ; t, from sage
75
- ))
76
- ) false))
77
- " ,
78
- ) ;
79
- assert_eq ! ( & actual_output, expected_output. get( "output" ) . unwrap( ) ) ;
80
- }
81
-
82
22
#[ test]
83
23
fn persistent_ram_split_eval ( ) {
84
24
let t = text:: parse_term (
0 commit comments