<html>
<head>
<meta http-equiv='Content-Type' content='text/html; charset=UTF-8'>
</head>
<body>
<style>
font{
line-height: 1.6;
}
ul,ol{
padding-left: 20px;
list-style-position: inside;
}
</style>
<div style = 'font-family:微软雅黑,Verdana,"Microsoft Yahei",SimSun,sans-serif; line-height:1.6;'>
<div ></div><div dir="ltr">Dear sir:<div> I output the value of the "PETSC_SMALL", it is 1E-10. But i think it should be more smaller than this for double float number.</div><div>Regards</div></div>
<!--😀-->
</div>
</body>
</html>