fields
CommunityAbstract algebra field problem solver
Authorparcadei
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 checking field axioms, understanding field extensions, and determining field characteristics.
Core Features & Use Cases
- Field Axiom Verification: Use Z3 to prove field axioms.
- Field Extensions: Calculate the degree of field extensions and find minimal polynomials using SymPy.
- Characteristic Determination: Understand the characteristic of a field.
- Algebraic Element Analysis: Solve for algebraic relations.
- Use Case: When presented with a mathematical structure, use this skill to determine if it is a field and to explore its properties like extensions and characteristic.
Quick Start
Use the fields skill to check if Z3 can prove the field axioms.
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/parcadei/Continuous-Claude-v3/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 223,000+ vetted skills library on demand.