Macaulay2 Engine
Loading...
Searching...
No Matches

◆ TEST() [6/19]

TEST ( RingZZmod101 ,
ones  )

Definition at line 68 of file RingZZpTest.cpp.

69{
70 Z_mod* R = Z_mod::create(101);
71 EXPECT_TRUE(R->is_equal(R->one(), R->from_long(1)));
72 EXPECT_TRUE(R->is_equal(R->minus_one(), R->from_long(-1)));
73 EXPECT_TRUE(R->is_equal(R->zero(), R->from_long(0)));
74 EXPECT_TRUE(R->is_zero(R->from_long(0)));
75}
ring_elem one() const
Definition ring.hpp:357
ring_elem zero() const
Definition ring.hpp:359
ring_elem minus_one() const
Definition ring.hpp:358
virtual ring_elem from_long(long n) const
Definition ZZp.cpp:132
virtual bool is_zero(const ring_elem f) const
Definition ZZp.cpp:188
static Z_mod * create(int p)
Definition ZZp.cpp:64
virtual bool is_equal(const ring_elem f, const ring_elem g) const
Definition ZZp.cpp:189
Engine-side Z/p ring for small primes (p < 32767), using a discrete-log (Zech) representation.
Definition ZZp.hpp:63

References Z_mod::create(), Z_mod::from_long(), Z_mod::is_equal(), Z_mod::is_zero(), Ring::minus_one(), Ring::one(), ones(), and Ring::zero().