Boolean Algebra Analysis of Egyption Excavation Pieces: Difference between revisions

From MaRDI portal
T4 reidelbach (talk | contribs)
No edit summary
T4 reidelbach (talk | contribs)
No edit summary
 
(6 intermediate revisions by 2 users not shown)
Line 1: Line 1:
= Boolean Algebra Analysis of Egyption Excavation Pieces =
PID (if applicable): -
PID (if applicable): -


Line 12: Line 10:


=== Procedure ===
=== Procedure ===
 
[[File:CultureWorkflowII II.png|thumb|Workflow Illustration]]
<b>2. Data Extraction</b>
<b>2. Data Extraction</b>


Extract numerous excavation pieces and their characteristics from a large database ([https://www.ifao.egnet.net/bases/cachette/ Karnak Cachette Database]). Each statue encoded as boolean feature string, e.g. bold head True(1) or False(0).
Extract numerous excavation pieces and their characteristics from a large database ([https://www.ifao.egnet.net/bases/cachette/ Karnak Cachette Database]). Encode each statue as boolean feature string and store all strings in a [https://github.com/OguzhanYueruek/AlgebraicClusteringSupplementaryData/blob/main/Data/Karnak_choice.xlsx table]. Considered features are: amputations, amputated head, missing head, partial amputation, partial destruction, and largely destroyed. For each excavation piece and feature a True/False (1/0) value is assigned.


<b>3. Data Analysis</b>
<b>3. Data Analysis</b>
Line 35: Line 33:
=== Involved Disciplines ===
=== Involved Disciplines ===


NFDI4Culture (wikidata:Q98276929)
NFDI4Culture (wikidata:[[doi:Q98276929|Q98276929]])


    <math> \Rightarrow </math> Egyptology (wikidata: Q145903)
    <math> \Rightarrow </math> Egyptology (wikidata:[[doi:Q145903|Q145903]])


MaRDI (wikidata:Q108327788)
MaRDI (wikidata:[[doi:Q108327788|Q108327788]])


    <math> \Rightarrow </math> Boolean Algebra (wikidata:Q173183)
    <math> \Rightarrow </math> Boolean Algebra (wikidata:[[doi:Q173183|Q173183]])


=== Data Streams ===
=== Data Streams ===
Line 60: Line 58:
=== Variables ===
=== Variables ===


{|
{| class="wikitable"
! Name
! Name
! Unit
! Unit
Line 79: Line 77:
=== Process Steps ===
=== Process Steps ===


{|
{| class="wikitable"
! Name
! Name
! Description
! Description
Line 120: Line 118:
=== Applied Methods ===
=== Applied Methods ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 173: Line 171:
=== Software used ===
=== Software used ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 184: Line 182:
! documented
! documented
|-
|-
| sw:13986
| sw:[https://swmath.org/software/13986 13986]
| Julia
| Julia
| Julia Interpreter
| Julia Interpreter
Line 204: Line 202:
| [https://docs.juliahub.com/IJulia/nfu7T/1.21.2/autodocs/ Yes]
| [https://docs.juliahub.com/IJulia/nfu7T/1.21.2/autodocs/ Yes]
|-
|-
| sw:14460
| sw:[https://swmath.org/software/14460 14460]
| Python
| Python
| Python Interpreter
| Python Interpreter
Line 214: Line 212:
| [https://docs.python.org/3.7/ Yes]
| [https://docs.python.org/3.7/ Yes]
|-
|-
| sw:21266
| sw:[https://swmath.org/software/21266 21266]
| Jupyter Notebook
| Jupyter Notebook
| Interactive Computational Environment
| Interactive Computational Environment
Line 224: Line 222:
| [https://jupyter-notebook.readthedocs.io/en/stable/ Yes]
| [https://jupyter-notebook.readthedocs.io/en/stable/ Yes]
|-
|-
| sw:36845
| sw:[https://swmath.org/software/36845 36845]
| OSCAR
| OSCAR
| Computer Algebra System
| Computer Algebra System
Line 234: Line 232:
| [https://oscar.computeralgebra.de/documentation/ Yes]
| [https://oscar.computeralgebra.de/documentation/ Yes]
|-
|-
| sw:320
| sw:[https://swmath.org/software/320 320]
| GAP
| GAP
| Groups, Algorithms, Programming
| Groups, Algorithms, Programming
Line 244: Line 242:
| [https://www.gap-system.org/Doc/doc.html Yes]
| [https://www.gap-system.org/Doc/doc.html Yes]
|-
|-
| sw:866
| sw:[https://swmath.org/software/866 866]
| Singular
| Singular
| (non)-commutative algebra, algebraic geometry, singularity theory
| (non)-commutative algebra, algebraic geometry, singularity theory
Line 254: Line 252:
| [https://www.singular.uni-kl.de/Manual/latest/ Yes]
| [https://www.singular.uni-kl.de/Manual/latest/ Yes]
|-
|-
| sw:724
| sw:[https://swmath.org/software/724 724]
| Polymake
| Polymake
| Polymake
| Polymake
Line 264: Line 262:
| [https://polymake.org/doku.php/documentation/latest/start Yes]
| [https://polymake.org/doku.php/documentation/latest/start Yes]
|-
|-
| sw:20279
| sw:[https://swmath.org/software/20279 20279]
| Hecke
| Hecke
| Algebraic Number Theory
| Algebraic Number Theory
Line 274: Line 272:
| [http://home.in.tum.de/~traytel/hecke/chap0.html Yes]
| [http://home.in.tum.de/~traytel/hecke/chap0.html Yes]
|-
|-
| sw:20280
| sw:[https://swmath.org/software/20280 20280]
| Nemo
| Nemo
| Computer Algebra package
| Computer Algebra package
Line 284: Line 282:
| [https://nemocas.github.io/Nemo.jl/dev/ Yes]
| [https://nemocas.github.io/Nemo.jl/dev/ Yes]
|-
|-
| sw:32610
| sw:[https://swmath.org/software/32610 32610]
| Abstract Algebra
| Abstract Algebra
| Algebra Package
| Algebra Package
Line 348: Line 346:
=== Hardware ===
=== Hardware ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 367: Line 365:
=== Input Data ===
=== Input Data ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 405: Line 403:
=== Output Data ===
=== Output Data ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 460: Line 458:


wikidata: [https://www.wikidata.org/wiki/ https://www.wikidata.org/wiki/]
wikidata: [https://www.wikidata.org/wiki/ https://www.wikidata.org/wiki/]
[[Category: Workflow]]

Latest revision as of 12:33, 26 July 2022

PID (if applicable): -

Problem Statement

Cachette de Karnak - Clustering of Excavation Pieces

Object of Research and Objective

Clustering of Excavation Pieces using relevant Features.

Procedure

Workflow Illustration

2. Data Extraction

Extract numerous excavation pieces and their characteristics from a large database (Karnak Cachette Database). Encode each statue as boolean feature string and store all strings in a table. Considered features are: amputations, amputated head, missing head, partial amputation, partial destruction, and largely destroyed. For each excavation piece and feature a True/False (1/0) value is assigned.

3. Data Analysis

Cluster the statues by relevant features:

Ideal Formulation

From the feature strings of all statues an ideal is formulated, which contains all the rules to remove redundant information from the feature strings.

Relevant Feature Identification

Using the ideal, all feature strings are reduced to their relevant features. Statues with identical relevant feature strings are grouped.

4. Data Interpretation

Cluster groups of statues under certain features.

Involved Disciplines

NFDI4Culture (wikidata:Q98276929)

     Egyptology (wikidata:Q145903)

MaRDI (wikidata:Q108327788)

     Boolean Algebra (wikidata:Q173183)

Data Streams

NFDI4Culture MaRDI (.xlsx File containing feature strings)

MaRDI NFDI4Culture (.txt File containing relevant feature strings and grouped statues)

Model

Boolean Algebra

Discretization

  • Time: -
  • Space: -

Variables

Name Unit Symbol
Relevant Feature Strings - -
Feature Clusters - -


Process Informationen

Process Steps

Name Description Input Output Method Parameter Environment Mathematical Area
Data Extraction Feature String Definition database .xlsx True/False - - -
Data Analysis Relevant Feature Identification .xlsx .txt Algebraic Object Comparison - iJulia Notebook Boolean Algebra
Data Interpretation Feature Clustering .txt .txt Algebraic Clustering - - -


Applied Methods

ID Name Process Step Parameter implemented by
- Algebraic Object Comparison Data Analysis , iJulia Notebook
- ResidueRing Data Analysis - Ideal Formulation Oscar
- PolynomialRing Data Analysis - Ideal Formulation Oscar
- Ideal Data Analysis - Ideal Formulation - Oscar
- Quo Data Analysis - Ideal Formulation - Oscar
- Factor Data Analysis - Relevant Feature Identification - Oscar
- Simplify! Data Analysis - Relevant Feature Identification - Oscar


Software used

ID Name Description Version Programming Language Dependencies versioned published documented
sw:13986 Julia Julia Interpreter 1.6.0 C, C++, Scheme, Julia Windows, Mac, Linux Yes Yes Yes
- IJulia Julia Kernel for Jupyter 1.21.2 Julia Julia 0.7.0 or later, Python, Jupyter Yes Yes Yes
sw:14460 Python Python Interpreter 3.7.6 C gcc Yes Yes Yes
sw:21266 Jupyter Notebook Interactive Computational Environment 6.4.6 Python, JavaScript, CSS, HTML Python, gcc Yes Yes Yes
sw:36845 OSCAR Computer Algebra System 0.82 Julia Julia 1.6.0, AbstractAlgebra 0.25.0 , DocStringExtensions 0.8, GAP 0.7.7, Hecke 0.13.0, Nemo 0.30.0, Polymake 0.7.1, RandomExtensions 0.4.3, Singular 0.10.1, msolve_jll 0.2.3, Preferences 1, JSON 0.20 Yes Yes Yes
sw:320 GAP Groups, Algorithms, Programming 0.77 Julia Julia 1.6.0 or higher Yes Yes Yes
sw:866 Singular (non)-commutative algebra, algebraic geometry, singularity theory 0.10.1 Julia Julia Yes Yes Yes
sw:724 Polymake Polymake 0.7.1 Julia Julia, polymake 4.0 or higher Yes Yes Yes
sw:20279 Hecke Algebraic Number Theory 0.13.0 Julia Julia 1.0 or higher Yes Yes Yes
sw:20280 Nemo Computer Algebra package 0.30.0 Julia Julia 1.6.0 or higher Yes Yes Yes
sw:32610 Abstract Algebra Algebra Package 0.25.0 Julia Julia 1.6.0 or higher Yes Yes Yes
- DocStringExtensions Extensions for Julia doc system 0.8 Julia Julia 0.7 or higher Yes Yes Yes
- RandomExtensions Random functionality extensions 0.4.3 Julia Julia Yes Yes Yes
- msolve_jll Package 0.2.3 Julia Julia Yes Yes Yes
- Preferences Store Configuration Switches 1 Julia Julia 1.6.0 or higher Yes Yes Yes
- JSON JSON parsing and printing 0.20 Julia Julia Yes Yes Yes


Hardware

ID Name Processor Compiler #Nodes #Cores
- GenunineIntel Intel(R) Core(TM) i7-9700T CPU @ 2.00 GHz g++, gcc, gfortran 8 8


Input Data

ID Name Size Data Structure Format Representation Format Exchange binary/text proprietary to publish to archive
- Feature Strings small Julia Matrix dense matrix .xlsx text no Yes Yes
- Polynomial Ring Variables small string - - text no Yes Yes


Output Data

ID Name Size Data Structure Format Representation Format Exchange binary/text proprietary to publish to archive
- Relevant Deature Strings small string text .txt text No Yes Yes


Reproducibility

Mathematical Reproducibility

Yes

Runtime Reproducibility

Yes

Reproducibility of Results

Yes

Reproducibility on original Hardware

Yes

Reproducibility on other Hardware

Yes

Transferability to

a) other objects

Legend

The following abbreviations are used in the document to indicate/resolve IDs:

doi: https://dx.doi.org/

sw: https://swmath.org/software/

wikidata: https://www.wikidata.org/wiki/