fields
CommunityAbstract algebra field problem solver
Education & Research#fields#mathematics#abstract algebra#algebraic structures#z3#sympy#computational math
Authorscooter-lacroix
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides strategies and tools for solving problems related to fields in abstract algebra, including field extensions, characteristic, and algebraic elements.
Core Features & Use Cases
- Field Verification: Determine if a given structure F is a field by checking group axioms and distributive laws.
- Field Extensions: Calculate the degree of field extensions and find minimal polynomials.
- Characteristic and Algebraic Elements: Analyze the characteristic of a field and identify algebraic elements.
- Use Case: When encountering a problem involving finite fields or field extensions in a course or research, this Skill can help verify properties or compute necessary polynomials.
Quick Start
Use the fields skill to prove the field axioms using z3_solve.py.
Dependency Matrix
Required Modules
z3-solversympy
Components
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: fields Download link: https://github.com/scooter-lacroix/Maestro/archive/main.zip#fields Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.