Apologies: I forgot to insert the link http://hamilton.nuigalway.ie/Hap/hapcryst.tar.gz
Dear Hollis, If you place this version http://hamilton.nuigalway.ie/Hap/hapcryst.tar.gz 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@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_ch...@yahoo.com] Sent: Saturday, August 10, 2019 4:21 AM To: forum@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@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
