Ben Mares maresb

## set_foreign_keys.py
from typing import Dict, List, Union

from sqlalchemy import Column
from sqlalchemy.orm import (
    ColumnProperty,
    InstrumentedAttribute,
    MapperProperty,
    RelationshipProperty,
)
from sqlmodel.main import SQLModelMetaclass

## diagnose-conda.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                maresb
                / diagnose-conda.md
            
            
              Created
              October 12, 2021 16:14
            
          
    Diagnosing dependency problems on other platforms with conda-lock

Source: conda-forge/dvc-feedstock#240 (comment)
The exact procedure is as follows.
Use the following as a template:


## Lm.pdb
# These are the vectors in Schiemann's S1 lattice of length <= sqrt(8).

# This is (loosely) a Protein Data Bank format file.
# <https://en.wikipedia.org/wiki/Protein_Data_Bank_(file_format)>

# I tried to find an embedding with rational coordinates, but I don't think
# it's possible. Here I use sqrt(7) = 2.6458.


# To verify correctness, note that the Gram matrix can be generated in PARI/GP

## Lp.pdb
# These are the vectors in Schiemann's S2 lattice of length <= sqrt(8).

# This is (loosely) a Protein Data Bank format file.
# <https://en.wikipedia.org/wiki/Protein_Data_Bank_(file_format)>

# I tried to find an embedding with rational coordinates, but I don't think
# it's possible. Here I use (1 + sqrt(61)) / 4 = 2.2026 and
# (1 - sqrt(61)) / 4 = -1.7026.


## managed_temporary_credentials_provider.py
"""Make boto3 automatically check the shared credentials file for updates.

In some situations, the ~/.aws/credentials file may be periodically updated. For
example, this is the case with the "AWS managed temporary credentials" which are
provided to AWS Cloud9 environments. (See
<https://docs.aws.amazon.com/cloud9/latest/user-guide/how-cloud9-with-iam.html#auth-and-access-control-temporary-managed-credentials>.)

Example usage of this module is:

import boto3

## schiemann.gp
/*

An exploration of Alexander Schiemann's pair of inequivalent 4D lattices with
identical theta functions.

Context: <https://math.stackexchange.com/questions/4428707>

Ben Mares, 2022
	from typing import Dict, List, Union

	from sqlalchemy import Column
	from sqlalchemy.orm import (
	ColumnProperty,
	InstrumentedAttribute,
	MapperProperty,
	RelationshipProperty,
	)
	from sqlmodel.main import SQLModelMetaclass
	# These are the vectors in Schiemann's S1 lattice of length <= sqrt(8).

	# This is (loosely) a Protein Data Bank format file.
	# <https://en.wikipedia.org/wiki/Protein_Data_Bank_(file_format)>

	# I tried to find an embedding with rational coordinates, but I don't think
	# it's possible. Here I use sqrt(7) = 2.6458.


	# To verify correctness, note that the Gram matrix can be generated in PARI/GP
	"""Make boto3 automatically check the shared credentials file for updates.

	In some situations, the ~/.aws/credentials file may be periodically updated. For
	example, this is the case with the "AWS managed temporary credentials" which are
	provided to AWS Cloud9 environments. (See
	<https://docs.aws.amazon.com/cloud9/latest/user-guide/how-cloud9-with-iam.html#auth-and-access-control-temporary-managed-credentials>.)

	Example usage of this module is:

	import boto3
	/*

	An exploration of Alexander Schiemann's pair of inequivalent 4D lattices with
	identical theta functions.

	Context: <https://math.stackexchange.com/questions/4428707>

	Ben Mares, 2022