version 1.1.1.1, 1999/10/08 02:12:02 |
version 1.3, 2003/07/25 01:00:38 |
|
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/cohom.sm1,v 1.2 1999/11/08 09:15:00 takayama Exp $ |
%%% cohom.sm1 Choose Schreyer 1 or 2 below. |
%%% cohom.sm1 Choose Schreyer 1 or 2 below. |
[ |
[ |
(cohom.sm1 is the top of an experimental package to compute restrictions) |
(cohom.sm1 is the top of an experimental package to compute restrictions) |
|
|
%%/Schreyer 1 def %% V-homogenize, Schreyer |
%%/Schreyer 1 def %% V-homogenize, Schreyer |
/Schreyer 2 def %% h-homogenize, Schreyer |
/Schreyer 2 def %% h-homogenize, Schreyer |
%%%% Load files |
%%%% Load files |
|
[(parse) (var.sm1) pushfile] extension |
|
%% DO NOT execute debugMode |
|
%% inside a block of pushVariables and popVariables. |
|
%% debugMode |
[(parse) (hol.sm1) pushfile] extension |
[(parse) (hol.sm1) pushfile] extension |
[(parse) (gkz.sm1) pushfile] extension |
[(parse) (gkz.sm1) pushfile] extension |
[(parse) (appell.sm1)pushfile] extension |
[(parse) (appell.sm1)pushfile] extension |
[(parse) (resol0.sm1)pushfile] extension |
[(parse) (resol0.sm1)pushfile] extension |
[(parse) (complex.sm1)pushfile] extension |
[(parse) (complex.sm1)pushfile] extension |
|
[(parse) (ecart.sm1)pushfile] extension |
%%%%% |
%%%%% |
[(parse) (restall.sm1) pushfile] extension pop |
[(parse) (restall.sm1) pushfile] extension pop |
[(parse) (restall_s.sm1) pushfile] extension pop |
[(parse) (restall_s.sm1) pushfile] extension pop |