Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/ein16/src/compiler/basis/basis-vars.sml
ViewVC logotype

Diff of /branches/ein16/src/compiler/basis/basis-vars.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4403, Wed Aug 10 22:51:46 2016 UTC revision 4404, Thu Aug 11 14:00:48 2016 UTC
# Line 952  Line 952 
952              [f,Ty.T_Int] --> f              [f,Ty.T_Int] --> f
953          end))          end))
954    
955        val fn_inv_f2  = polyVar (N.fn_inv, all([DK, NK],
956            fn [Ty.DIFF k, Ty.DIM dim] => let
957            fun field' (k, d, dd) = field(k,  Ty.DimVar  d, Ty.Shape(List.map Ty.DimConst dd))
958            val k0 = Ty.DiffVar(k, 0)
959            val f = field' (k0, dim, [2,2])
960            in
961                [f] --> f
962            end))
963    
964        val fn_inv_f3  = polyVar (N.fn_inv, all([DK,NK],
965            fn [Ty.DIFF k, Ty.DIM dim] => let
966            fun field' (k, d, dd) = field(k, Ty.DimVar  d, Ty.Shape(List.map Ty.DimConst dd))
967            val k0 = Ty.DiffVar(k, 0)
968            val f = field' (k0, dim, [3,3])
969            in
970                [f] --> f
971            end))
972    
973        (*restrict to 2x2 and 3x3*)
974        local
975            val invT2 = let
976                val t = matrix N2
977                in
978                    [t] --> t
979                end
980            in
981                val fn_inv_t2 = monoVar (N.fn_inv, invT2)
982            end
983    
984        local
985            val invT3 = let
986                val t = matrix N3
987                in
988                    [t] --> t
989                end
990            in
991                val fn_inv_t3 = monoVar (N.fn_inv, invT3)
992            end
993    
994    
995    (* kernels *)    (* kernels *)
996  (* FIXME: we should really get the continuity info from the kernels themselves *)  (* FIXME: we should really get the continuity info from the kernels themselves *)

Legend:
Removed from v.4403  
changed lines
  Added in v.4404

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0