- Riemann 映射定理
- Schwartz-Pick 引理
- Kolmogorov extension 定理
- 路径提升和同伦提升
- 用对偶锥的方法得出 Tits 锥的结构
- Witt 消去定理 (Peter Clark 的讲义)
- 理解了圆族是怎么来的,以及 mobius 变换的两个不动点对应的是光锥上的两个点。
- 理解了 Lorentz 群的一个连通分支 O^(3, 1) 为什么和 Mobius 群是通过的
View hyperbolic_tiling.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | |
Simple Hyperbolic tiling animation using taichi | |
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | |
""" | |
import taichi as ti | |
from taichi.math import * | |
ti.init(arch=ti.cpu) |
View taichi_circle_packing.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import cv2 | |
import cairocffi as cairo | |
import numpy as np | |
import taichi as ti | |
ti.init(arch=ti.cpu) | |
scale = 5 |
View return_probability.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# pip install taichi | |
import taichi as ti | |
ti.init(arch=ti.gpu) | |
d = 3 | |
num_rounds = 100000 | |
max_steps = 1000000 | |
ivec = ti.types.vector(d, int) |
View fractal.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import taichi as ti | |
import taichi.math as tm | |
ti.init(arch=ti.vulkan) | |
w, h = 800, 640 | |
res = (w, h) | |
pixels = ti.Vector.field(3, float, shape=res) | |
window = ti.ui.Window("fractal", res=res) | |
canvas = window.get_canvas() |
View learn.md