Yakov Pechersky

Use maturin container (or even action) for manylinux builds

1

Thanks for proposing a new feature! ### Motivation The current builds (https://github.com/wasmerio/wasmer-python/actions/runs/4852776764/job/13149022773#step:18:11) are at a high ABI: `manylinux_2_34`. This is much higher than ABIs that are still [supported](https://github.com/mayeut/pep600_compliance/blob/master/DETAILS.rst), like `manylinux_2_17`....

Creating a component from a selection that subsets out the central symmetry mate breaks on `conformation`

1

``` TypeError: Cannot read properties of undefined (reading 'conformation') ``` at ` operator_key: p2((l) => l.unit.conformation.operator.key),` This happens when I am trying to do ``` const components = { protein:...

# Description Provide a state transformer to rotate/translate volumes in a similar manner to structures, like in superposition. Closes #1055. ## Actions - [ ] Added description of changes to...

Transforming a Volume under a rotation and translation

2

We are depicting structures and volumes together. We can calculate a transform matrix between structures, and use it in a transform step to superpose. We'd like to also shift the...

Sequence with secondary structure labels above

13

# Description Add a new `Sequence` subclass: `SecondaryStructureSequence` to show DSSP values above the sequence. Required modifying the SCSS for the existing spans. Modified how spans are selected for marker...

Allow sequence (top control) resizing

1

Spun out from comment https://github.com/molstar/molstar/pull/936#issuecomment-1784479431 # Description ## Actions - [ ] Added description of changes to the `[Unreleased]` section of `CHANGELOG.md` - [ ] Updated headers of modified files...

Support `auth_seq_id` in `_struct_conn` PDBx section

2

Both in reading and writing. For reading, we get residue numbers preferentially from `auth_seq_id` in the `_atom_site` section, so we should use the same in `_struct_conn` if it is available....

Bond orders for HETATM-like entries should also serialize a `struct_conn.ptnr{1,2}_auth_seq_id`.

5

https://github.com/openmm/openmm/blob/921992685ec890cf0a6b91b844918dadee3e6946/wrappers/python/openmm/app/pdbxfile.py#L337-L344 See the discussion at https://github.com/molstar/molstar/pull/999#issuecomment-1843020131. Apparently, `label_seq_id` for HETATM like entities is poorly deifned.

feat(data/real/dedekind_cut): define and add_comm_group

5

Based on Principles of mathematical analysis by Rudin TODO: finish proving they form a field, and are isomorphic to the reals. --- [](https://gitpod.io/from-referrer/)

pyyaml does not support unicode characters like 𝕜

3

On `master`: ``` ❯ git checkout pechersky/polynomial-notation ❯ leanproject get-c ❯ leanproject mk-all ❯ leancrawler all poly-notation.yaml ❯ python Python 3.7.3 (default, Mar 27 2019, 22:11:17) [GCC 7.3.0] :: Anaconda,...