jeffreyadams / atlasofliegroups

Automatically exported from code.google.com/p/atlasofliegroups
Other
31 stars 8 forks source link

A typo in print_Cartan_info #3

Closed jiajunma closed 4 years ago

jiajunma commented 4 years ago

The output of the canonical twisted involution was not correct. Here is a patch:

diff --git a/atlas-scripts/basic.at b/atlas-scripts/basic.at
index 1300ad91..1c3bf471 100644
--- a/atlas-scripts/basic.at
+++ b/atlas-scripts/basic.at
@@ -1103,7 +1103,7 @@ set print_Cartan_info (CartanClass cc) = void:
   ( "compact: ",cr,", complex: ",Cr,", split: ",sr, new_line
   , "canonical twisted involution: "
   ,  if =#ww then "e"
-     else to_string(ww[0], ## for s in ww[1:] do to_string(",",s+1) od)
+     else to_string(ww[0]+1, ## for s in ww[1:] do to_string(",",s+1) od)
      fi
   , new_line
   , "twisted involution orbit size: ",orbit_size,
Marc-van-Leeuwen commented 4 years ago

Thank you; I'll make this change on master soon. I'm not accustomed to the github way of collaborating, so I'll just do it as usual via my local git repository