Hamilton's theory of turns revisited

We present a new approach to Hamilton's theory of turns for the groups SO(3) and SU(2) which renders their properties, in particular their composition law, nearly trivial and immediately evident upon inspection. We show that the entire construction can be based on binary rotations rather than mirror reflections.Comment: 7 pages, 4 figure

A mapping from conceptual graphs to formal concept analysis

A straightforward mapping from Conceptual Graphs (CGs) to Formal Concept Analysis (FCA) is presented. It is shown that the benefits of FCA can be added to those of CGs, in, for example, formally reasoning about a system design. In the mapping, a formal attribute in FCA is formed by combining a CG source concept with its relation. The corresponding formal object in FCA is the corresponding CG target concept. It is described how a CG, represented by triples of the form source-concept, relation, target-concept, can be transformed into a set of binary relations of the form (target-concept, source-concept a relation) creating a formal context in FCA. An algorithm for the transformation is presented and for which there is a software implementation. The approach is compared to that of Wille. An example is given of a simple University Transaction Model (TM) scenario that demonstrates how FCA can be applied to CGs, combining the power of each in an integrated and intuitive way

Escargatoire

Poetry by Simon Orpan

Linearised Higher Variational Equations

This work explores the tensor and combinatorial constructs underlying the linearised higher-order variational equations of a generic autonomous system along a particular solution. The main result of this paper is a compact yet explicit and computationally amenable form for said variational systems and their monodromy matrices. Alternatively, the same methods are useful to retrieve, and sometimes simplify, systems satisfied by the coefficients of the Taylor expansion of a formal first integral for a given dynamical system. This is done in preparation for further results within Ziglin-Morales-Ramis theory, specifically those of a constructive nature.Comment: Minor changes with respect to previous versio