@@ -96,18 +96,12 @@ class SymbolicSubringFactory(UniqueFactory):
96
96
97
97
sage: from sage.symbolic.subring import SymbolicSubring
98
98
sage: V = var('a, b, c, r, s, t, x, y, z')
99
- sage: def var_in_subring(s, S):
100
- ....: try:
101
- ....: S(s)
102
- ....: return True
103
- ....: except ValueError:
104
- ....: return False
105
99
106
100
::
107
101
108
102
sage: A = SymbolicSubring(accepting_variables=(a, b, c)); A
109
103
Symbolic Subring accepting the variables a, b, c
110
- sage: tuple((v, var_in_subring(v, A) ) for v in V)
104
+ sage: tuple((v, v in A ) for v in V)
111
105
((a, True), (b, True), (c, True),
112
106
(r, False), (s, False), (t, False),
113
107
(x, False), (y, False), (z, False))
@@ -116,7 +110,7 @@ class SymbolicSubringFactory(UniqueFactory):
116
110
117
111
sage: R = SymbolicSubring(rejecting_variables=(r, s, t)); R
118
112
Symbolic Subring rejecting the variables r, s, t
119
- sage: tuple((v, var_in_subring(v, R) ) for v in V)
113
+ sage: tuple((v, v in R ) for v in V)
120
114
((a, True), (b, True), (c, True),
121
115
(r, False), (s, False), (t, False),
122
116
(x, True), (y, True), (z, True))
@@ -125,7 +119,7 @@ class SymbolicSubringFactory(UniqueFactory):
125
119
126
120
sage: C = SymbolicSubring(only_constants=True); C
127
121
Symbolic Constants Subring
128
- sage: tuple((v, var_in_subring(v, C) ) for v in V)
122
+ sage: tuple((v, v in C ) for v in V)
129
123
((a, False), (b, False), (c, False),
130
124
(r, False), (s, False), (t, False),
131
125
(x, False), (y, False), (z, False))
0 commit comments