Safe Haskell | None |
---|
Documentation
d__'42'H__162 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 -> T_HNF_444 Source #
d__'42'HN__164 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_Normal_446 -> T_HNF_444 Source #
d__'42'N__166 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Normal_446 -> T_Normal_446 Source #
d__'42'NH__168 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_HNF_444 -> T_HNF_444 Source #
d__'42'x'43'H__174 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 -> T_HNF_444 Source #
d__'42'x'43'HN__176 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_Normal_446 -> T_HNF_444 Source #
d__'43'H__178 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 -> T_HNF_444 Source #
d__'43'N__180 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Normal_446 -> T_Normal_446 Source #
d__'8860'__188 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Polynomial_356 -> T_Polynomial_356 -> T_Σ_14 Source #
du__'8860'__188 :: Integer -> T_Polynomial_356 -> T_Polynomial_356 -> T_Σ_14 Source #
d__'58''215'__192 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> Integer -> T_Polynomial_356 -> T_Polynomial_356 Source #
du__'58''215'__192 :: T_AlmostCommutativeRing_178 -> Integer -> Integer -> T_Polynomial_356 -> T_Polynomial_356 Source #
d__'94'N__194 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> Integer -> T_Normal_446 Source #
d__'8776'H__196 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> () Source #
d__'8776'N__198 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> () Source #
d__'8799'H__200 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 -> Maybe T__'8776'H__486 Source #
d__'8799'N__202 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Normal_446 -> Maybe T__'8776'N__490 Source #
d_'42'H'45'homo_204 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 -> T_Vec_28 -> AgdaAny Source #
d_'42'HN'45'homo_206 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_Normal_446 -> AgdaAny -> T_Vec_28 -> AgdaAny Source #
d_'42'N'45'homo_208 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Normal_446 -> T_Vec_28 -> AgdaAny Source #
d_'42'NH'45'homo_210 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_HNF_444 -> AgdaAny -> T_Vec_28 -> AgdaAny Source #
d_'42'x'43'H'45'homo_212 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 -> AgdaAny -> T_Vec_28 -> AgdaAny Source #
d_'42'x'43'HN'8776''42'x'43'_214 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_Normal_446 -> T_Vec_28 -> AgdaAny Source #
d_'43'H'45'homo_216 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 -> T_Vec_28 -> AgdaAny Source #
d_'43'N'45'homo_218 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Normal_446 -> T_Vec_28 -> AgdaAny Source #
d_'45'H__220 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 Source #
d_'45'H'8255''45'homo_222 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_Vec_28 -> AgdaAny Source #
d_'45'N__224 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Normal_446 Source #
d_'45'N'8255''45'homo_226 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Vec_28 -> AgdaAny Source #
d_0H_228 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 Source #
d_0N_230 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 Source #
du_0N_230 :: T_AlmostCommutativeRing_178 -> Integer -> T_Normal_446 Source #
d_0N'45'homo_232 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Vec_28 -> AgdaAny Source #
d_0'8776''10214'0'10215'_234 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T__'8776'N__490 -> T_Vec_28 -> AgdaAny Source #
d_1H_236 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 Source #
d_1N_238 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 Source #
d_1N'45'homo_240 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Vec_28 -> AgdaAny Source #
d_Normal_246 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #
d_Polynomial_250 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #
d_'94'N'45'homo_256 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> Integer -> T_Vec_28 -> AgdaAny Source #
d_correct_264 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Polynomial_356 -> T_Vec_28 -> AgdaAny Source #
d_correct'45'con_266 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> AgdaAny -> T_Vec_28 -> AgdaAny Source #
d_correct'45'var_268 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Fin_6 -> T_Vec_28 -> AgdaAny Source #
d_normalise_270 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Polynomial_356 -> T_Normal_446 Source #
d_normalise'45'con_272 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> AgdaAny -> T_Normal_446 Source #
d_normalise'45'var_274 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Fin_6 -> T_Normal_446 Source #
d_prove_282 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Vec_28 -> T_Polynomial_356 -> T_Polynomial_356 -> AgdaAny -> AgdaAny Source #
d_sem_284 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_Op_348 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_sem_284 :: T_AlmostCommutativeRing_178 -> T_Op_348 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_solve_286 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8709''42'x'43'HN'45'homo_294 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> AgdaAny -> T_Vec_28 -> AgdaAny Source #
d_'10214'_'10215'_296 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Polynomial_356 -> T_Vec_28 -> AgdaAny Source #
du_'10214'_'10215'_296 :: T_AlmostCommutativeRing_178 -> Integer -> T_Polynomial_356 -> T_Vec_28 -> AgdaAny Source #
d_'10214'_'10215'H_298 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_Vec_28 -> AgdaAny Source #
d_'10214'_'10215'H'45'cong_300 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_HNF_444 -> T_HNF_444 -> T__'8776'H__486 -> T_Vec_28 -> AgdaAny Source #
d_'10214'_'10215'N_302 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Vec_28 -> AgdaAny Source #
d_'10214'_'10215'N'45'cong_304 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Normal_446 -> T_Normal_446 -> T__'8776'N__490 -> T_Vec_28 -> AgdaAny Source #
d_'10214'_'10215''8595'_306 :: T_Level_14 -> T_Level_14 -> T_AlmostCommutativeRing_178 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Integer -> T_Polynomial_356 -> T_Vec_28 -> AgdaAny Source #