Definition at line 390 of file cra.cpp.
References Ring::new_vec(), vec::next, ratConversion(), and result().