"eg of solve G2 in terms of F1.mw" : the example: using F1-solver to find F1-type solutions of operator from G2
("solveG2 in terms of F1.txt" is the text file of this example)

"G1module.txt" : the D-module of G1 with its reducible condition

"G2module.txt" : the D-module of G2 with its reducible condition

"G3" folder:

"find parameter.mw" computes the parameters a,b,c in 2F1(a,b,c,f) from G3(1-2b',b',x,y) in terms of b'

"findPullback.mw" computes the pullback f in 2F1(a,b,c,f) from G3(1-2b',b',x,y) in terms of x and y
("pullback.txt" is the text file)

"G3module.txt" contains the D-module of G3 with its reducible condition

"Overview.txt": all steps in finding formula between G3(1-2b,b,x,y) and 2F1