HOL html

Files Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Theorems Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

---

I (theorems)

INTERFACE_MATRIX
IS_VALID_OPTICAL_SYSTEM_HEAD_INDEX
IS_VALID_OPTICAL_SYSTEM_REC
interface_IND,interface_REC
interface_kind_IND,interface_kind_REC
interface_matrix
is_stable_resonator
is_valid_free_space
is_valid_interface
is_valid_optical_component
is_valid_optical_system
is_valid_ray_at_interface
is_valid_ray_in_free_space
is_valid_ray_in_system
is_valid_resonator