Use JGEX on Web

This is a brief introduction to help use to use JGEX on web.

Since JGEX is written totally in JAVA, it can be run in browser under any operating system which has JVM. When the user have built an example and want to put it on his own homepage, the web version of JGEX (JGEX Applet) can be used to do this.

To do this, take the following three steps.

1. Download JGEX Applet. Please go to our homepage: http://woody.cs.wichita.edu to download the applet for JGEX. It's a jar file and the filename of this applet is: gexApplet.jar.

2. Create a html file and put the file of the example in the same folder.

3. Put the following code in the html file.

<applet
code="wprover.GApplet1"
archive="gexApplet.jar"
filename = "9point.gex"
animationbar = "false"
provestepbar = "true"
ppane = "true"
mprove = "true"
has_proof = "true"
width="950"
height="501"
alt="JGEX Applet"
title="Applet"
grid = "25"
</applet>

 

About the parameter:

As we can see from the above example, JGEX provides a whole bunch of parameters. We will list the meaning of different parameters.

1. code="wprover.GApplet1" . This is the entry point of the jgex applet.

2. archive="gexApplet.jar" . This is the filename for the applet.

3. filename = "9point.gex. This is the filename for the example to be shown.

4. animationbar = "false". This sets the visibility of Animation Bar.

5. provestepbar = "true". This sets the visibility of Prove Step Bar.

6. ppane = "true". This sets the visibility of the Prove Pane.

7. mprove = "true". This sets the type of example: If the value is "True", it's a manually created example; otherwise it's an example proved by automated method.

8. has_proof = "true". This sets if the example has proof or not. If the value is "false", then the example is just a drawing example.

9. grid = "25". This sets the distance between two grid line.

JGEX Help