KANT

1 program Added 2026-03-10T12:00:00Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled Evidence Report issue View issues
Aliases: KASH, KANT/KASH, Kash
Provenance: commit 79bf8e8081 · authored 2026-03-10T21:47:38+01:00 · agent claude-code · model claude-sonnet-4-6

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

Bash (0.18)Rash (0.18)Slash (0.17)Ksh (0.15)Clash (0.14)

LLM-contributed programs

Class Group of Quadratic Number Field

Provenance: commit 79bf8e8081 · authored 2026-03-10T21:47:38+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
code.kash · added: 2026-03-10T12:00:00Z
\ KASH (KANT Shell) program: Class number computation
\ Computes the class group of a quadratic number field Q(sqrt(d))

\ Create the polynomial ring over the integers
_<x> := PolynomialRing(Integers());

\ Define the minimal polynomial for Q(sqrt(-23))
f := x^2 + 23;

\ Create the number field
K := NumberField(f);

\ Compute its ring of integers (maximal order)
OK := MaximalOrder(K);

\ Compute the class group
CG := ClassGroup(OK);

\ Print results
Print("Number field: Q(sqrt(-23))\n");
Print("Discriminant: ", Discriminant(OK), "\n");
Print("Class group: ", CG, "\n");
Print("Class number: ", #CG, "\n");

Contribute — propose a file extension

Tell us where to find evidence about KANT (mapped to pl/kant). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/KANT/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← Kanren Kantate →