Searched defs:is_Ring (Results 1 – 6 of 6) sorted by relevance
12 is_Ring = True variable in CommutativeRing
18 is_Ring = False variable in Domain
13 is_Ring = True variable in Ring
242 is_Ring = False variable in Domain
1438 BOOLEAN is_Ring=rField_is_Ring(currRing); in ksCreateShortSpoly() local
296 const BOOLEAN is_Ring=rField_is_Ring(r); in kFindDivisibleByInT() local406 BOOLEAN is_Ring=rField_is_Ring(currRing); in kFindDivisibleByInS() local