Solves abstract algebra field problems using Python scripts with Z3 and SymPy.
npx skills add https://github.com/scooter-lacroix/Maestro --skill fields
Please help me install this Agent Skill. Skill: fields Source: https://github.com/scooter-lacroix/Maestro/tree/main/maestro/skills/math/math/abstract-algebra/fields Command: npx skills add https://github.com/scooter-lacroix/Maestro --skill fields
This Skill provides strategies and tools for solving problems related to fields in abstract algebra, including field extensions, characteristic, and algebraic elements.
Use the fields skill to prove the field axioms using z3_solve.py.
High-intent search queries and answers about installing and using this skill.
To verify a field, you can use Python scripts with the Z3 solver to check group axioms and confirm distributive laws. This computational approach programmatically proves whether a given algebraic structure satisfies all required field properties.
You can calculate field extension degrees and find minimal polynomials using SymPy within this Skill. It provides computational tools that identify algebraic elements and compute the necessary minimal polynomials for abstract algebra field extensions.
You need z3-solver and SymPy as dependencies for computational abstract algebra tasks. These libraries enable mathematical proofs and computations for field verification, characteristic determination, and algebraic element identification.
Yes, Z3 and SymPy can be used together to prove field axioms. The Skill uses specific Python scripts like z3_solve.py to leverage Z3's theorem-proving capabilities alongside SymPy's symbolic computation for field verification.
You can determine the characteristic of a finite field by running the Skill's Python scripts to analyze the field's algebraic properties. This process identifies the smallest positive integer that yields zero when multiplying the field's multiplicative identity.
Automated computational tools for abstract algebra require specific Python scripts and are limited by the capabilities of Z3 and SymPy. They are best suited for verifying properties and computing polynomials rather than generating generalized theoretical proofs.
parcadeiVerify group axioms, test subgroups, and prove homomorphisms with Z3 and SymPy.
hxk622Analyze Neuropixels recordings with SpikeInterface and Kilosort4.
scooter-lacroixVerify group axioms and analyze subgroup and homomorphism properties with Z3 and SymPy.
tesseract-rippleVerify mathematical identities and cryptographic properties using Python libraries.
