![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README | 1999-10-27 18:24 | 365 | |
| divide_by_table.m | 1999-10-27 18:24 | 83 | |
| extend_domain.m | 1999-10-27 18:24 | 807 | |
| marginalize_table.m | 1999-10-27 18:24 | 469 | |
| mk_table.m | 1999-10-27 18:24 | 152 | |
| multiply_by_table.m | 1999-10-27 18:24 | 85 | |
| normalize_table.m | 1999-10-27 18:24 | 229 | |
| op_by_table.m | 1999-10-27 18:24 | 766 | |
| scale_table.m | 1999-10-27 18:24 | 169 | |