1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-26 10:35:29 +01:00

add G₂ to classify_root_system

This commit is contained in:
Marek Kaluba 2023-05-10 15:20:07 +02:00
parent 902be093db
commit cd7901b455
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -90,7 +90,6 @@ function classify_root_system(
elseif b == 1 && c == 2
return :C₂
elseif b == 1 && c == 3
@warn ":G₂? really?"
return :G₂
else
@error a, b, c, d
@ -170,8 +169,11 @@ function classify_sub_root_system(
if :C₂ in subtypes
return :C₂
end
@warn subtypes
elseif l == 6
return :G₂
end
@error "Unknown root subsystem generated by" α β
@error "Unknown root subsystem generated by" α β l
throw("Unknown root system: $subsystem")
end