Boolean Algebra Analysis of Egyption Excavation Pieces: Difference between revisions
2nd Culture Workflow |
No edit summary |
||
(8 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
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]). | 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 55: | Line 53: | ||
=== Discretization === | === Discretization === | ||
*Time: - | |||
*Space: - | |||
=== Variables === | === Variables === | ||
{| | {| class="wikitable" | ||
! Name | ! Name | ||
! Unit | ! Unit | ||
Line 78: | Line 77: | ||
=== Process Steps === | === Process Steps === | ||
{| | {| class="wikitable" | ||
! Name | ! Name | ||
! Description | ! Description | ||
Line 119: | Line 118: | ||
=== Applied Methods === | === Applied Methods === | ||
{| | {| class="wikitable" | ||
! ID | ! ID | ||
! Name | ! Name | ||
Line 172: | Line 171: | ||
=== Software used === | === Software used === | ||
{| | {| class="wikitable" | ||
! ID | ! ID | ||
! Name | ! Name | ||
Line 183: | Line 182: | ||
! documented | ! documented | ||
|- | |- | ||
| sw:13986 | | sw:[https://swmath.org/software/13986 13986] | ||
| Julia | | Julia | ||
| Julia Interpreter | | Julia Interpreter | ||
Line 203: | 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 213: | 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 223: | 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 233: | 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 243: | 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 253: | 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 263: | 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 273: | 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 283: | 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 347: | Line 346: | ||
=== Hardware === | === Hardware === | ||
{| | {| class="wikitable" | ||
! ID | ! ID | ||
! Name | ! Name | ||
Line 366: | Line 365: | ||
=== Input Data === | === Input Data === | ||
{| | {| class="wikitable" | ||
! ID | ! ID | ||
! Name | ! Name | ||
Line 404: | Line 403: | ||
=== Output Data === | === Output Data === | ||
{| | {| class="wikitable" | ||
! ID | ! ID | ||
! Name | ! Name | ||
Line 454: | Line 453: | ||
The following abbreviations are used in the document to indicate/resolve IDs: | The following abbreviations are used in the document to indicate/resolve IDs: | ||
doi: | doi: [https://dx.doi.org/ https://dx.doi.org/] | ||
sw: | sw: [https://swmath.org/software/ https://swmath.org/software/] | ||
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 11: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
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
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/