Changeset 35fc819 for doc/theses/mike_brooks_MMath/programs

Timestamp:

Dec 13, 2025, 4:56:22 PM (9 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

5d300ba

Parents:

67748f9

Message:

more array proofreading

Location:

doc/theses/mike_brooks_MMath/programs

Files:

• hello-accordion.cfa (modified) (2 diffs)
• hello-array.cfa (modified) (3 diffs)
• school1 (modified) (1 diff)
• school1.out (modified) (1 diff)
• school2 (modified) (1 diff)
• school2.out (modified) (1 diff)

doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa

@@ -31 +31 @@
 int getPref( @School( C, S ) & school@, int is, int pref ) {
         for ( ic; C ) {
-                if ( pref == @school.preferences@[ic][is]; ) return ic; $\C{// offset calculation implicit}$
+                if ( pref == @school.preferences@[ic][is] ) return ic; $\C{// offset calculation implicit}$
         }
-        assert( false );
+        assert( false );        // must find a match
 }
 
@@ -89 +89 @@
 
         for ( is; ns ) {
-                sout | school.student_ids[is] | ": " | nonl;
+                sout | school.student_ids[is] | ": ";
                 for ( pref; 1 ~= nc ) {
                         int ic = getPref( school, is, pref );

doc/theses/mike_brooks_MMath/programs/hello-array.cfa

@@ -89 +89 @@
 
 forall( [M], [N] )
-void bad( array(float, M) &x,
-                array(float, N) &y ) {
+void f( array(float, M) &x, array(float, N) &y ) {
         f( x, x );              $\C[0.5in]{// ok}$
         f( y, y );              $\C{// ok}$
-
         f( x, y );              $\C{// error}\CRT$
+        if ( M == N ) f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
 }
-
 #endif
 
@@ -109 +107 @@
 
 forall( [M], [N] )
-void bad_fixed( array( float, M ) & x,
-                array( float, N ) & y ) {
+void f( array( float, M ) & x, array( float, N ) & y ) {
         f( x, x );              $\C[0.5in]{// ok}$
         f( y, y );              $\C{// ok}$
-        if ( M == N )
-                f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
+        if ( M == N ) f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
 }
 
@@ -132 +128 @@
 
 forall( [M], [N] )
-void bad_ok_only( array(float, M) &x,
-                array(float, N) &y ) {
+void bad_ok_only( array(float, M) &x, array(float, N) &y ) {
         f( x, x );
         f( y, y );

doc/theses/mike_brooks_MMath/programs/school1

@@ -1 +1 @@
 3 courses, 2 students
-c\s     90111111 90222222
-ENGL101        3        2
-PHYS101        1        3
-CHEM101        2        1
+c\s              90111111 90222222
+ENGL101                 3               2
+PHYS101                 1               3
+CHEM101                2               1

doc/theses/mike_brooks_MMath/programs/school1.out

@@ -1 @@
-90111111: PHYS101 CHEM101 ENGL101
-90222222: CHEM101 ENGL101 PHYS101
+90111111: 
+PHYS101 CHEM101 ENGL101
+90222222: 
+CHEM101 ENGL101 PHYS101

doc/theses/mike_brooks_MMath/programs/school2

@@ -1 +1 @@
 5 courses, 3 students
-c\s     90111111 90222222 90333333
-ENGL101        3        2        3
-PHYS101        1        3        4
-CHEM101        2        1        5
-PHIL101        4        5        2
-MATH499        5        4        1
+c\s              90111111 90222222 90333333
+ENGL101                 3               2               3
+PHYS101                 1               3               4
+CHEM101                2               1               5
+PHIL101                   4               5               2
+MATH499                 5               4               1

doc/theses/mike_brooks_MMath/programs/school2.out

@@ -1 @@
-90111111: PHYS101 CHEM101 ENGL101 PHIL101 MATH499
-90222222: CHEM101 ENGL101 PHYS101 MATH499 PHIL101
-90333333: MATH499 PHIL101 ENGL101 PHYS101 CHEM101
+90111111: 
+PHYS101 CHEM101 ENGL101 PHIL101 MATH499
+90222222: 
+CHEM101 ENGL101 PHYS101 MATH499 PHIL101
+90333333: 
+MATH499 PHIL101 ENGL101 PHYS101 CHEM101