NEW - WCPS supports scaleByFactor

[Bang Pham Huu]

Syntax

Proposed syntax extensions to scaleExpr:

1. Support scaling all axes by the same scaleFactor:

   scale( coverageExpr, scaleFactor )
   

2. Support scaling individual axes by a scaleFactor:

   scale( coverageExpr, { a_i(scaleFactor_i), ..., a_j(scaleFactor_j) } )
   

Semantics

In all cases, in line with WCS scaling extension:

• scaleFactor is floating-point number
• scaleFactor = 1.0 does not change resolution
• scaleFactor < 1.0 will reduce resolution, e.g. 0.25 will scale down 4x
• scaleFactor > 1.0 will increase resolution, e.g. 2 will scale up 2x

Either scale by factor or scale by interval is allowed. I.e. in the second case that supports individual axes to be scaled differently will throw an error if scale by interval is mixed in.