Francy - an interactive discrete mathematics framework for GAP

Manuel Machado Martins; Markus Johannes Pfeiffer

doi:10.1007/978-3-319-96418-8_42

Francy - an interactive discrete mathematics framework for GAP

Manuel Machado Martins, Markus Johannes Pfeiffer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a computer algebra system for computational discrete algebra with an emphasis on computational group theory. The existing XGAP package for GAP works exclusively on the X Window System. It lacks abstraction between its mathematical and graphical cores, making it difficult to extend, maintain, or port. In this paper, we present Francy, a graphical semantics package for GAP. Francy is responsible for creating a representational structure that can be rendered using many GUI frameworks independent from any particular programming language or operating system. Building on this, we use state of the art web technologies that take advantage of an improved REPL environment, which is currently under development for GAP. The integration of this project with Jupyter provides a rich graphical environment full of features enhancing the usability and accessibility of GAP.

Original language	English
Title of host publication	Mathematical Software – ICMS 2018
Subtitle of host publication	6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Editors	James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
Place of Publication	Cham
Publisher	Springer
Pages	352-358
ISBN (Electronic)	9783319964188
ISBN (Print)	9783319964171
DOIs	https://doi.org/10.1007/978-3-319-96418-8_42
Publication status	Published - 2018
Event	International Congress on Mathematical Software - ICMS 2018 - University of Notre Dame, South Bend, United States Duration: 24 Jul 2018 → 27 Jul 2018 Conference number: 6 http://icms-conference.org/2018/

Publication series

Name	Lecture Notes in Computer Science (Theoretical Computer Science and General Issues)
Publisher	Springer
Volume	10931

Conference

Conference	International Congress on Mathematical Software - ICMS 2018
Abbreviated title	ICMS 2018
Country/Territory	United States
City	South Bend
Period	24/07/18 → 27/07/18
Internet address	http://icms-conference.org/2018/

Keywords

Visualization
Interaction
Graphics
Mathematics
GAP
Jupyter

Access to Document

10.1007/978-3-319-96418-8_42

paper_2
© 2018, Springer. This work has been made available online in accordance with the publisher’s policies. This is the author created accepted version manuscript following peer review and as such may differ slightly from the final published version. The final published version of this work is available at https://doi.org/10.1007/978-3-319-96418-8_42
Accepted author manuscript, 216 KB

H2020 OPENDREAMKIT: OPENDREAMKIT (partner)
Linton, S. A. (PI) & Konovalov, O. (CoI)
European Commission
1/09/15 → 31/08/19
Project: Standard

Francy. An Interactive Discrete Mathematics Framework for GAP (code)
Machado Martins, M. (Creator) & Pfeiffer, M. J. (Creator), GitHub, 9 Jul 2018
https://github.com/gap-packages/francy
Dataset: Software

Cite this

Martins, M. M., & Pfeiffer, M. J. (2018). Francy - an interactive discrete mathematics framework for GAP. In J. H. Davenport, M. Kauers, G. Labahn, & J. Urban (Eds.), Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings (pp. 352-358). (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); Vol. 10931). Springer. https://doi.org/10.1007/978-3-319-96418-8_42

Martins, Manuel Machado ; Pfeiffer, Markus Johannes. / Francy - an interactive discrete mathematics framework for GAP. Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. editor / James H. Davenport ; Manuel Kauers ; George Labahn ; Josef Urban. Cham : Springer, 2018. pp. 352-358 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues)).

@inproceedings{b61214b81aa547139c268042d3bdbf86,

title = "Francy - an interactive discrete mathematics framework for GAP",

abstract = "Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a computer algebra system for computational discrete algebra with an emphasis on computational group theory. The existing XGAP package for GAP works exclusively on the X Window System. It lacks abstraction between its mathematical and graphical cores, making it difficult to extend, maintain, or port. In this paper, we present Francy, a graphical semantics package for GAP. Francy is responsible for creating a representational structure that can be rendered using many GUI frameworks independent from any particular programming language or operating system. Building on this, we use state of the art web technologies that take advantage of an improved REPL environment, which is currently under development for GAP. The integration of this project with Jupyter provides a rich graphical environment full of features enhancing the usability and accessibility of GAP.",

keywords = "Visualization, Interaction, Graphics, Mathematics, GAP, Jupyter",

author = "Martins, {Manuel Machado} and Pfeiffer, {Markus Johannes}",

note = "Funding: European Union project Open Digital Research Environment Toolkit for the Advancement of Mathematics (EC Horizon 2020 project 676541, 01/09/2015-31/08/2019). ; International Congress on Mathematical Software - ICMS 2018, ICMS 2018 ; Conference date: 24-07-2018 Through 27-07-2018",

year = "2018",

doi = "10.1007/978-3-319-96418-8_42",

language = "English",

isbn = "9783319964171",

series = "Lecture Notes in Computer Science (Theoretical Computer Science and General Issues)",

publisher = "Springer",

pages = "352--358",

editor = "Davenport, {James H.} and Manuel Kauers and George Labahn and Josef Urban",

booktitle = "Mathematical Software – ICMS 2018",

address = "Netherlands",

url = "http://icms-conference.org/2018/",

}

Martins, MM & Pfeiffer, MJ 2018, Francy - an interactive discrete mathematics framework for GAP. in JH Davenport, M Kauers, G Labahn & J Urban (eds), Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 10931, Springer, Cham, pp. 352-358, International Congress on Mathematical Software - ICMS 2018, South Bend, Indiana, United States, 24/07/18. https://doi.org/10.1007/978-3-319-96418-8_42

Francy - an interactive discrete mathematics framework for GAP. / Martins, Manuel Machado; Pfeiffer, Markus Johannes.
Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. ed. / James H. Davenport; Manuel Kauers; George Labahn; Josef Urban. Cham: Springer, 2018. p. 352-358 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); Vol. 10931).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Francy - an interactive discrete mathematics framework for GAP

AU - Martins, Manuel Machado

AU - Pfeiffer, Markus Johannes

N1 - Conference code: 6

PY - 2018

Y1 - 2018

N2 - Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a computer algebra system for computational discrete algebra with an emphasis on computational group theory. The existing XGAP package for GAP works exclusively on the X Window System. It lacks abstraction between its mathematical and graphical cores, making it difficult to extend, maintain, or port. In this paper, we present Francy, a graphical semantics package for GAP. Francy is responsible for creating a representational structure that can be rendered using many GUI frameworks independent from any particular programming language or operating system. Building on this, we use state of the art web technologies that take advantage of an improved REPL environment, which is currently under development for GAP. The integration of this project with Jupyter provides a rich graphical environment full of features enhancing the usability and accessibility of GAP.

AB - Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a computer algebra system for computational discrete algebra with an emphasis on computational group theory. The existing XGAP package for GAP works exclusively on the X Window System. It lacks abstraction between its mathematical and graphical cores, making it difficult to extend, maintain, or port. In this paper, we present Francy, a graphical semantics package for GAP. Francy is responsible for creating a representational structure that can be rendered using many GUI frameworks independent from any particular programming language or operating system. Building on this, we use state of the art web technologies that take advantage of an improved REPL environment, which is currently under development for GAP. The integration of this project with Jupyter provides a rich graphical environment full of features enhancing the usability and accessibility of GAP.

KW - Visualization

KW - Interaction

KW - Graphics

KW - Mathematics

KW - GAP

KW - Jupyter

U2 - 10.1007/978-3-319-96418-8_42

DO - 10.1007/978-3-319-96418-8_42

M3 - Conference contribution

SN - 9783319964171

T3 - Lecture Notes in Computer Science (Theoretical Computer Science and General Issues)

SP - 352

EP - 358

BT - Mathematical Software – ICMS 2018

A2 - Davenport, James H.

A2 - Kauers, Manuel

A2 - Labahn, George

A2 - Urban, Josef

PB - Springer

CY - Cham

T2 - International Congress on Mathematical Software - ICMS 2018

Y2 - 24 July 2018 through 27 July 2018

ER -

Martins MM, Pfeiffer MJ. Francy - an interactive discrete mathematics framework for GAP. In Davenport JH, Kauers M, Labahn G, Urban J, editors, Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Cham: Springer. 2018. p. 352-358. (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues)). Epub 2018 Jul 14. doi: 10.1007/978-3-319-96418-8_42

Francy - an interactive discrete mathematics framework for GAP

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Projects

H2020 OPENDREAMKIT: OPENDREAMKIT (partner)

Datasets

Francy. An Interactive Discrete Mathematics Framework for GAP (code)

Cite this