Investigation: b_1=0

We compute the geometric tensors:

eqs = ShowGeo[{b_1→0}] ;

We consider the scalar product ℬ = ( {{0, b_2, b_3, b_4}, {b_2, b_5, b_6, b_7}, {b_3, b_6, b_8, b_9}, {b_4, b_7, b_9, b_10}} )

with determinant<br /> |ℬ| = b_4^2 (b_6^2 - b_5 b_8) + (b_3 b_7 - b_2 b_9)^2 - 2 b_4 (b_3 (b_6 b_7 - b_5 b_9) + b_2 (-b_7 b_8 + b_6 b_9)) - (b_3^2 b_5 - 2 b_2 b_3 b_6 + b_2^2 b_8) b_10

The conditions det[B]≠0, and Ric=0 imply

Reduce[eqs]

Created by Mathematica  (September 15, 2007) Valid XHTML 1.1!