von Neumann lecture improvements #478

[xuanguang-li]

Key changes

• Set the max-height of cells to none at the beginning
• Removed object after class Nuemann
• Adopted sphinx-proof environments

Question

• As I used the sphinx-proof, assumptions numbered as "I, II" have been changed to "1, 2". But in the definition of class Neumann, some variables are named as AI and AII. Should I change the names of these variables to A1 and A2? @mmcky

For example,

def __init__(self, A, B):

        self.A, self.B = list(map(self.convert, (A, B)))
        self.m, self.n = self.A.shape

        # Check if (A, B) satisfy the basic assumptions
        assert self.A.shape == self.B.shape, 'The input and output matrices \
              must have the same dimensions!'
        assert (self.A >= 0).all() and (self.B >= 0).all(), 'The input and \
              output matrices must have only non-negative entries!'

        # (1) Check whether Assumption 1 is satisfied:
        if (np.sum(B, 0) <= 0).any():
            self.AI = False
        else:
            self.AI = True

        # (2) Check whether Assumption 2 is satisfied:
        if (np.sum(A, 1) <= 0).any():
            self.AII = False
        else:
            self.AII = True

[github-actions]

🚀 Deployed on https://689b1680051008e5064349a2--nostalgic-wright-5fa355.netlify.app

[Copilot]

Pull Request Overview

This PR improves the von Neumann lecture by modernizing documentation formatting and fixing minor inconsistencies. The changes primarily focus on adopting sphinx-proof environments for better mathematical presentation and updating code cell configurations.

Key changes:

• Adoption of sphinx-proof environments for assumptions, definitions, theorems, and proofs
• Removal of object inheritance from class Neumann (Python 3 style)
• Addition of CSS styling to remove cell height restrictions

[Copilot]

The TODO comment should be removed or properly formatted. If this is a genuine TODO, it should be tracked in an issue rather than left in production code.

Suggested change

	Assumptions:// TODO:change {AI} variable into A1?
	Assumptions:

[Copilot]

There is an extra closing parenthesis in the assumption title. It should be 'every good that is consumed is also produced' without the trailing parenthesis.

Suggested change

	````{prf:assumption} every good that is consumed is also produced)
	````{prf:assumption} every good that is consumed is also produced

[mmcky]

Thanks for the PR @xuanguang-li. I will take a look tomorrow.