code: private static boolean polygonEqualsEnvelope_(Polygon polygon_a,
  			Envelope envelope_b, double tolerance,
  			ProgressTracker progress_tracker) {
  		Envelope2D env_a = new Envelope2D(), env_b = new Envelope2D();
  		polygon_a.queryEnvelope2D(env_a);
  		envelope_b.queryEnvelope2D(env_b);
  
  		// Quick envelope rejection test for false equality.
  		// This check will correctly handle degenerate envelope cases (i.e.
  		// degenerate to point or line)
  		if (!envelopeEqualsEnvelope_(env_a, env_b, tolerance, progress_tracker))
  			return false;
  
  		Polygon polygon_b = new Polygon();
  		polygon_b.addEnvelope(envelope_b, false);
  
  		return linearPathEqualsLinearPath_(polygon_a, polygon_b, tolerance, true);
  	}
docs: Returns true if polygon_a equals envelope_b.