[GAP Forum] Resolution of Bieberbach Group

[Ellis, Grahamj]

Dear Hollis,

If you place this version of the HAPcryst package in your gap/pkg directory things should work as follows (assuming that you have Polymake installed on your computer).

 ┌───────┐   GAP 4.10.2 of 19-Jun-2019
 │  GAP  │   https://www.gap-system.org
 └───────┘   Architecture: x86_64-pc-linux-gnu-default64-kv3
 Configuration:  gmp 6.1.2, readline
 Loading the library and packages ...
Syntax warning: Unbound global variable in /usr/share/gap-4.10.2/pkg/grape-4.8\
.2/lib/grape.g:4026
      newdelta:=InducedSubgraph(delta,A,Stabiliser(delta.group,c,OnSets));
                                                  ^
#I  method installed for Matrix matches more than one declaration
 Packages:   AClib 1.3.1, Alnuth 3.1.1, AtlasRep 2.1.0, AutoDoc 2019.05.20, 
             AutPGrp 1.10, Browse 1.8.8, Carat 2.2.3, Congruence 1.2.3, 
             CRISP 1.4.4, Cryst 4.1.19, CrystCat 1.1.9, CTblLib 1.2.2, 
             Digraphs 0.15.2, EDIM 1.3.3, FactInt 1.6.2, FGA 1.4.0, 
             Forms 1.2.5, GAPDoc 1.6.2, genss 1.6.5, GRAPE 4.8.2, 
             groupoids 1.66, HAP 1.19, HAPcryst 0.1.12, IO 4.6.0, 
             IRREDSOL 1.4, LAGUNA 3.9.3, nq 2.5.4, orb 4.8.2, Polenta 1.3.8, 
             Polycyclic 2.14, polymaking 0.8.2, PrimGrp 3.3.2, RadiRoot 2.8, 
             recog 1.3.2, ResClasses 4.7.2, Semigroups 3.1.3, 
             singular 2019.02.22, SmallGrp 1.3, Sophus 1.24, SpinSym 1.5.1, 
             TomLib 1.2.8, TransGrp 2.0.4, utils 0.63, XMod 2.73
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> R:=ResolutionBieberbachGroup(SpaceGroup(3,9));
polymake: used package cdd
  cddlib
  Implementation of the double description method of Motzkin et al.
  Copyright by Komei Fukuda.
  http://www-oldurls.inf.ethz.ch/personal/fukudak/cdd_home/

polymake: used package cdd
  cddlib
  Implementation of the double description method of Motzkin et al.
  Copyright by Komei Fukuda.
  http://www-oldurls.inf.ethz.ch/personal/fukudak/cdd_home/

Resolution of length 4 in characteristic 
0 for SpaceGroupOnRightBBNWZ( 3, 2, 2, 2, 2 ) . 
No contracting homotopy available. 

gap> Homology(TensorWithIntegers(R),2);
[ 2, 0 ]



All the best,

Graham


________________________________________
From: Ellis, Grahamj
Sent: Saturday, August 10, 2019 8:40 AM
To: Ho Yiu CHUNG; forum at gap-system.org
Subject: RE: [GAP Forum] Resolution of Bieberbach Group

Dear Hollis,

You are calling ResolutionBieberbachGroup() correctly. It seems that an error message occurs because Polymake software no longer supports  the DIMS object. I'll implement a fix and get back to you.

All the best,

Graham


School of Mathematics, Statistics & Applied Mathematics
National University of Ireland, Galway
http://hamilton.nuigalway.ie
tel: 091 493011

https://global.oup.com/academic/product/an-invitation-to-computational-homotopy-9780198832980


________________________________________
From: Ho Yiu CHUNG [hollis_chung at yahoo.com]
Sent: Saturday, August 10, 2019 4:21 AM
To: forum at gap-system.org
Subject: [GAP Forum] Resolution of Bieberbach Group

Dear Forum,
I am trying to find a resolution of a Bieberbach Group by using the package "HAPcryst". The following is the code that I entered.
>LoadPackage("HAPcryst");>R:=ResolutionBieberbachGroup(SpaceGroup(3,9));
But a error message is shown. I would like to know how to use the command "ResolutionBieberbachGroup" correctly. Whether I need to load another package in order for me to use that command?
Thank you very much,
Hollis

_______________________________________________
Forum mailing list
Forum at gap-system.org
https://mail.gap-system.org/mailman/listinfo/forum