From a genuine finite Coxeter MATRIX whose group has order<=6, construct the ent...
https://datenvertrag.halowerk.com/v1/finite-coxeter-weak-order-congruence-quotientOverview
From a genuine finite Coxeter MATRIX whose group has order<=6, construct the entire RIGHT weakorder and its least lattice congruence generated by supplied contracted covers. Return full quotient order/join/meet, shortlex reducedwords and joinirreducible forcing. This profile includes every Coxeter type of order<=6: rank<=2 follows from |W|>=2^rank; rank2 offdiagonal m is2or3 and group is the exact dihedral model. Rank0 is trivial,rank1 C2.
Protocol
x402 (POST)
Price
$0.0030
Payment Asset
USD Coin
Payment Network
eip155:8453
Category
uncategorized
Provider
datenvertrag
Source
bazaar
Indexed
2026-11-09 18:08:02
Health
Status
unknown
Latency (p50)
—
Uptime (30d)
—
Reliability Score
—
Last Checked
Never
Last Healthy
Never
Consecutive Failures
0
x402 Payment Validation
Payment Requirements
—
Asset Verified
—
Facilitator
—
Input Schema
{
"body": {
"claim": {
"classes": [
[
0
],
[
1
],
[
2
],
[
3
],
[
4
],
[
5
]
],
"contracted_join_irreducibles": [],
"forcing_matrix": [
[
true,
false,
true,
true
],
[
false,
true,
true,
true
],
[
false,
false,
true,
false
],
[
false,
false,
false,
true
]
],
"group_labels": [
0,
1,
2,
3,
4,
5
],
"join_irreducible_edges": [
[
0,
1
],
[
0,
3
],
[
1,
4
],
[
3,
2
]
],
"quotient_join": [
[
0,
1,
2,
3,
4,
5
],
[
1,
1,
5,
5,
4,
5
],
[
2,
5,
2,
2,
5,
5
],
[
3,
5,
2,
3,
5,
5
],
[
4,
4,
5,
5,
4,
5
],
[
5,
5,
5,
5,
5,
5
]
],
"quotient_meet": [
[
0,
0,
0,
0,
0,
0
],
[
0,
1,
0,
0,
1,
1
],
[
0,
0,
2,
3,
0,
2
],
[
0,
0,
3,
3,
0,
3
],
[
0,
1,
0,
0,
4,
4
],
[
0,
1,
2,
3,
4,
5
]
],
"quotient_order": [
[
true,
true,
true,
true,
true,
true
],
[
false,
true,
false,
false,
true,
true
],
[
false,
false,
true,
false,
false,
true
],
[
false,
false,
true,
true,
false,
true
],
[
false,
false,
false,
false,
true,
true
],
[
false,
false,
false,
false,
false,
true
]
],
"reduced_words": [
[],
[
0
],
[
1,
0
],
[
1
],
[
0,
1
],
[
0,
1,
0
]
],
"weak_covers": [
[
0,
1
],
[
0,
3
],
[
1,
4
],
[
2,
5
],
[
3,
2
],
[
4,
5
]
]
},
"contracted_covers": [],
"coxeter_matrix": [
[
1,
3
],
[
3,
1
]
]
},
"bodyType": "json",
"method": "POST",
"type": "http"
}