Skip to main content

fexpr_builtin_symbol_FEXPR_ModularGroupFundamentalDomain

flint_sys::fexpr_builtin

Constant fexpr_builtin_symbol_FEXPR_ModularGroupFundamentalDomain 

Source 
pub const fexpr_builtin_symbol_FEXPR_ModularGroupFundamentalDomain: fexpr_builtin_symbol = 275;