** Using WeBWorK **

The first issue (the one that is causing the error about weaken not being found) is easily fixed. In the Fraction context, the [ delimiter is defined, but just doesn't produce matrices, so

Context()->parens->set("[" => {formMatrix => 1});

is sufficient to allow it to do that. But in the LimitedFraction context, the [ has been removed, so you need a little more information in order to enable it again. This will do it:

Context()->parens->set("[" => {close => ']', type => 'Matrix', formMatrix => 1});

There are also a couple of simplifications that you can use.:

• To modify the error messages about invalid operations, you only need to modify one message (which is the template for the one that has the individual operator names inserted into it):

  Context()->{error}{msg}{"Can't use '%s' in this context"} = "Each entry must be a fully computed and reduced number";
  

• To turn the entries in the transpose into fractions, you can use the map keyword as follows:

  $At = Matrix(map {[map {Fraction($_, $d)} @{$_}]} $At->value);
  

• To get the answer array, you can use

  a. [`\dfrac{1}{[$d]} A^T = `] [____]*{$At}
  

  and avoid the need for the [@ ... @] and following ANS() call. This works unless you need to add answer filters or hints, in which case your original notation will work for that.

The second issue, the one about missing error messages, is a bug. The error messages are actually being generated, but are then being overwritten later in the answer checker process. This can be resolved by using

package my::Matrix;
our @ISA = ('Value::Matrix');

sub cmp_Error {
  my $self = shift; my $ans = shift; my $message = shift;
  $self->SUPER::cmp_Error($ans, $message || $ans->{error_message}, @_);
}

package main;

Context("LimitedFraction");
Context()->{value}{Matrix} = 'my::Matrix';

before creating the matrix in the LimitedFraction context.

I think that should take care of your issues.