fields

Umiejętność Claude'a do pracy z problemami dotyczącymi ciał w algebrze abstrakcyjnej. Zawiera narzędzia do weryfikacji aksjomatów ciała, obliczania wielomianów minimalnych oraz rozwiązywania równań algebraicznych. Wspiera analizę rozszerzeń ciał, charakterystyki i elementów algebraicznych za pomocą Z3 i SymPy.

1. Zainstaluj umiejętność w swoim środowisku Claude'a, klonując repozytorium i umieszczając folder skills w katalogu .claude.

2. Gdy pracujesz nad problemem dotyczącym ciał, określ, co chcesz sprawdzić: czy dana struktura jest ciałem, jakie są właściwości rozszerzenia ciała, jaka jest charakterystyka, czy element jest algebraiczny.

3. Aby sprawdzić, czy F jest ciałem, użyj komendy weryfikującej aksjomaty: upewnij się, że (F, +) jest grupą abelową z zerem, (F \ {0}, *) jest grupą abelową z jedynką, oraz że zachodzi prawo rozdzielności.

4. Do obliczenia wielomianu minimalnego elementu (np. pierwiastka z 2) względem danego ciała, użyj narzędzia SymPy z parametrem zmiennej, np. dla sqrt(2) względem zmiennej x.

5. Jeśli musisz rozwiązać równanie algebraiczne, wykorzystaj solver SymPy, podając równanie i zmienną, aby znaleźć pierwiastki i relacje algebraiczne.

6. Dla analiz wymagających bardziej zaawansowanej weryfikacji logicznej (np. dowodzenia właściwości ciała), odwołaj się do narzędzia Z3, które wspiera formalne dowody.