View source for Boolean Algebra Analysis of Egyption Excavation Pieces

= Boolean Algebra Analysis of Egyption Excavation Pieces =

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 ===
[[File:CultureWorkflowII II.png|thumb|Workflow Illustration]]
<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).

<b>3. Data Analysis</b>

Cluster the statues by relevant features:

<b><u>Ideal Formulation</u></b>

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

<b><u>Relevant Feature Identification</b></u>

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

<b>4. Data Interpretation</b>

Cluster groups of statues under certain features.

=== Involved Disciplines ===

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

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

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

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

=== Data Streams ===

NFDI4Culture <math> \Rightarrow </math> MaRDI (.xlsx File containing feature strings)

MaRDI <math> \Rightarrow </math> NFDI4Culture (.txt File containing relevant feature strings and grouped statues)

== Model ==

Boolean Algebra

=== Discretization ===

*Time: -
*Space: -

=== Variables ===

{| class="wikitable"
! Name
! Unit
! Symbol
|-
| Relevant Feature Strings
| -
| -
|-
| Feature Clusters
| -
| -
|}


== Process Informationen ==

=== Process Steps ===

{| class="wikitable"
! 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 ===

{| class="wikitable"
! ID
! Name
! Process Step
! Parameter
! implemented by
|-
| -
| Algebraic Object Comparison
| Data Analysis
| <math> Modulus </math>, <math> cache </math>
| iJulia Notebook
|-
| -
| ResidueRing
| Data Analysis - Ideal Formulation
| <math> Modulus </math>
| Oscar
|-
| -
| PolynomialRing
| Data Analysis - Ideal Formulation
| <math> cache </math>
| 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 ===

{| class="wikitable"
! ID
! Name
! Description
! Version
! Programming Language
! Dependencies
! versioned
! published
! documented
|-
| sw:[https://swmath.org/software/13986 13986]
| Julia
| Julia Interpreter
| 1.6.0
| C, C++, Scheme, Julia
| Windows, Mac, Linux
| Yes
| Yes
| [https://docs.julialang.org/en/v1/manual/documentation/ Yes]
|-
| -
| IJulia
| Julia Kernel for Jupyter
| 1.21.2
| Julia
| Julia 0.7.0 or later, Python, Jupyter
| Yes
| Yes
| [https://docs.juliahub.com/IJulia/nfu7T/1.21.2/autodocs/ Yes]
|-
| sw:[https://swmath.org/software/14460 14460]
| Python
| Python Interpreter
| 3.7.6
| C
| gcc
| Yes
| Yes
| [https://docs.python.org/3.7/ Yes]
|-
| sw:[https://swmath.org/software/21266 21266]
| Jupyter Notebook
| Interactive Computational Environment
| 6.4.6
| Python, JavaScript, CSS, HTML
| Python, gcc
| Yes
| Yes
| [https://jupyter-notebook.readthedocs.io/en/stable/ Yes]
|-
| sw:[https://swmath.org/software/36845 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
| [https://oscar.computeralgebra.de/documentation/ Yes]
|-
| sw:[https://swmath.org/software/320 320]
| GAP
| Groups, Algorithms, Programming
| 0.77
| Julia
| Julia 1.6.0 or higher
| Yes
| Yes
| [https://www.gap-system.org/Doc/doc.html Yes]
|-
| sw:[https://swmath.org/software/866 866]
| Singular
| (non)-commutative algebra, algebraic geometry, singularity theory
| 0.10.1
| Julia
| Julia
| Yes
| Yes
| [https://www.singular.uni-kl.de/Manual/latest/ Yes]
|-
| sw:[https://swmath.org/software/724 724]
| Polymake
| Polymake
| 0.7.1
| Julia
| Julia, polymake 4.0 or higher
| Yes
| Yes
| [https://polymake.org/doku.php/documentation/latest/start Yes]
|-
| sw:[https://swmath.org/software/20279 20279]
| Hecke
| Algebraic Number Theory
| 0.13.0
| Julia
| Julia 1.0 or higher
| Yes
| Yes
| [http://home.in.tum.de/~traytel/hecke/chap0.html Yes]
|-
| sw:[https://swmath.org/software/20280 20280]
| Nemo
| Computer Algebra package
| 0.30.0
| Julia
| Julia 1.6.0 or higher
| Yes
| Yes
| [https://nemocas.github.io/Nemo.jl/dev/ Yes]
|-
| sw:[https://swmath.org/software/32610 32610]
| Abstract Algebra
| Algebra Package
| 0.25.0
| Julia
| Julia 1.6.0 or higher
| Yes
| Yes
| [https://nemocas.github.io/AbstractAlgebra.jl/dev/ Yes]
|-
| -
| DocStringExtensions
| Extensions for Julia doc system
| 0.8
| Julia
| Julia 0.7 or higher
| Yes
| Yes
| [https://juliadocs.github.io/DocStringExtensions.jl/latest/ Yes]
|-
| -
| RandomExtensions
| Random functionality extensions
| 0.4.3
| Julia
| Julia
| Yes
| Yes
| [https://github.com/JuliaRandom/RandomExtensions.jl Yes]
|-
| -
| msolve_jll
| Package
| 0.2.3
| Julia
| Julia
| Yes
| Yes
| [https://docs.juliahub.com/msolve_jll/27ek9/0.1.2+0/autodocs/ Yes]
|-
| -
| Preferences
| Store Configuration Switches
| 1
| Julia
| Julia 1.6.0 or higher
| Yes
| Yes
| [https://github.com/JuliaPackaging/Preferences.jl Yes]
|-
| -
| JSON
| JSON parsing and printing
| 0.20
| Julia
| Julia
| Yes
| Yes
| [https://github.com/JuliaIO/JSON.jl Yes]
|}


=== Hardware ===

{| class="wikitable"
! ID
! Name
! Processor
! Compiler
! #Nodes
! #Cores
|-
| -
| GenunineIntel
| Intel(R) Core(TM) i7-9700T CPU @ 2.00 GHz
| g++, gcc, gfortran
| 8
| 8
|}


=== Input Data ===

{| class="wikitable"
! 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 ===

{| class="wikitable"
! 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/ https://dx.doi.org/]

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

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