Demonstrandum

\newcommand{\cat}[1]{\mathscr{#1}}
\newcommand{\fcat}[1]{\mathbf{#1}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\CC}{\mathbb{C}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\QQ}{\mathbb{Q}}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\II}{\mathbb{I}}
\newcommand{\C}{\cat{C}}

Demonstrandum

class Vec(tuple):
    def __new__(cls, x, y=None, z=None):
        if y is None:
            return super(Vec, cls).__new__(cls, x)
        if z is None:
            return super(Vec, cls).__new__(cls, (x, y))
        return super(Vec, cls).__new__(cls, (x, y, z))
    def dot(self, other):
        return sum(x0 * x1 for (x0, x1) in zip(self, other))
    def __add__(self, other):

Demonstrandum

import numpy as np

class NormalPoint:
    """
    Normalised Cartesian coördinates
    in the space [-1; 1]×[-1; 1] ⊆ ℝ²
    """
    def __init__(self, x, y):
        self.x, self.y = x, y
    def polar(t):

Demonstrandum

WIDTH = `tput cols`.to_i - 1 || 80
HEIGHT = `tput lines`.to_i - 1  || 40
FPS = 60

include Math

class Array
  def x; self[0]; end
  def y; self[1]; end
  def z; self[2]; end

Demonstrandum

#!/usr/bin/env -S deno run --allow-net --allow-env --allow-read --allow-write --unstable

import MP3Tag from 'https://cdn.jsdelivr.net/gh/eidoriantan/mp3tag.js@latest/src/mp3tag.mjs';

Object.defineProperty(Deno, "execName", {
    get() {
        const PATHS = Deno.env.get('PATH')?.split(':') || [];
        // Deno doesn't seem to have something akin to $0 in shell.
        let progName = Deno.mainModule.replace("file://", "")
        for (const path of PATHS) {

Demonstrandum

# # Exaple:
# ```py
# from tacit import *
#
# @fn
# def f(x, y):
#     return 2 * (x + y)
#
# @fn
# def g(x): return x + 3

Demonstrandum

Demonstrandum

init

Demonstrandum

Demonstrandum

def f x; x**2 + 2*x + 1; end

def integrate sym, a, b
  dx = 0.001
  fn = method sym
  dx * (a..b - dx).step(dx).map(&fn).sum
end

puts integrate :f, 2, 4