Revision 591:eb27901664cd src/may/matrix.yeti
| src/may/matrix.yeti | ||
|---|---|---|
| 444 | 444 |
equal' (==) vec.equal; |
| 445 | 445 |
|
| 446 | 446 |
fromRows rows = |
| 447 |
(if any do r: vec.length r != vec.length (head rows) done rows then |
|
| 448 |
failWith "Inconsistent row lengths in fromRows (\(map vec.length rows))"; |
|
| 449 |
fi; |
|
| 447 | 450 |
{
|
| 448 | 451 |
size = {
|
| 449 | 452 |
rows = length rows, |
| ... | ... | |
| 453 | 456 |
fi, |
| 454 | 457 |
}, |
| 455 | 458 |
data = DenseRows (array rows) |
| 456 |
}; |
|
| 459 |
});
|
|
| 457 | 460 |
|
| 458 | 461 |
fromColumns cols = |
| 462 |
(if any do c: vec.length c != vec.length (head cols) done cols then |
|
| 463 |
failWith "Inconsistent column lengths in fromColumns (\(map vec.length cols))"; |
|
| 464 |
fi; |
|
| 459 | 465 |
{
|
| 460 | 466 |
size = {
|
| 461 | 467 |
columns = length cols, |
| ... | ... | |
| 465 | 471 |
fi, |
| 466 | 472 |
}, |
| 467 | 473 |
data = DenseCols (array cols) |
| 468 |
}; |
|
| 474 |
});
|
|
| 469 | 475 |
|
| 470 | 476 |
fromLists data = |
| 471 | 477 |
case data of |
Also available in: Unified diff