Basics¶ Contents Assumptions Ask Assume Refine Predicates Calculus Combinatorics Partitions Permutations Permutation Groups Polyhedron Prufer Sequences Subsets Gray Code Named Groups Galois Groups Number of groups Utilities Group constructors Test Utilities Tensor Canonicalization Finitely Presented Groups Polycyclic Groups Functions Elementary Combinatorial Enumeration Special Integrals Computing Integrals using Meijer G-Functions Integrals Series Series Expansions Sequences Fourier Series Formal Power Series Limits of Sequences Simplify Simplify Hypergeometric Expansion Hongguang Fu’s Trigonometric Simplification Solvers Diophantine Inequality Solvers ODE PDE Solvers Solveset abc Algebras Concrete Core Discrete Numerical Evaluation Numeric Computation Term Rewriting